北京时间10月6日（美东时间，合北京时间10月7日），OpenAI把一批由未发布内部模型产生的数学成果放上GitHub：722份手稿，归入372个“结果家族”，一个家族里可能同时装着核心证明、配套论证和替代证明，其中377项自称新证明。最受关注的是一项“准黎曼猜想”：模型证明了所有狄利克雷L函数在实部大于7/8的整个半平面内绝对不存在零点，并排除了困扰数论界多年的朗道-西格尔零点。数学家们真正抗议的，不是AI会解题，而是一家公司跳过同行评审、一次性批量公开“人类的答案清单”，而人类的验证和理解根本来不及跟上。这场争论，恰好是看懂大模型数学逻辑的最佳入口。机器之心新智元
先把“722篇”拆清楚：是手稿、是家族，也还在变
722数的是手稿份数，不是722道题。372个家族里，205族只有一篇手稿，最大的第034族有14篇，有的证主结论，有的补关键步骤，有的做推广。OpenAI称，约三分之一成果涉及数学界广泛关注的重要猜想，另有三分之一在各自细分领域具有重要价值，剩下的主要是较小结果或已有证明的变体；这批手稿出自同一个未发布模型，它从8月28日开始训练，每项结果消耗的计算量平均相当于ChatGPT Pro思考约3小时。盒饭财经机器之心
清单第二天就缩水了：一处符号错误使一篇手稿的核心论证失效，并连带两篇依赖它的论文被撤回，另有14篇修订、13篇更新引用关系，在列手稿变为719份，OpenAI在README里也写明一些未形式化的结果可能存在问题。机器的“验货”也未全覆盖：编辑的粗略检索显示，约六成成果族附有Lean形式化、即由计算机逐行检查过的证明，没有形式化的结果目前只能算“声称”；清单里也不只有“证明”，还有约50个成果族给出的声称是“证伪”或反例。爱范儿机器之心
数学界的分裂：守住的不是饭碗，是信任链和议程权
预警其实提前发过。今年8月，OpenAI曾秘密召集40位全球顶级数学家闭门开会，讨论“如果AI在纯数学领域全面超越人类，我们该如何应对”，学者们苦苦劝它按学术规范发表严谨论文、给人类留下消化和验证的时间。但这些话没有被听进去：9月，由28位菲尔兹奖得主签署、得到8000多人支持的《人工智能在数学领域严重失衡》宣言发表，批评把解题当成竞赛、忽视理解与传承。新智元爱范儿
这份声明承认AI数学能力的进步，也强调解题应服务于“概念理解与洞见”。发布之后，人类数学协会又发表声明，认为“数学家们并没有要求进行这项工作”，敦促所有数学家停止与OpenAI的合作；陶哲轩在博客转载了这篇声明，但连他本人都不在协会会员名单里，而这个8月才成立、约809名会员且多为研究生的协会，其声明文本还被检测工具测出100%由AI生成。盒饭财经爱范儿
真正让专业人士不安的是验证链条。即使AI证明通过Lean形式化检查，也只能说明形式化命题内部逻辑成立，无法自动保证它准确对应自然语言手稿里的原始论证——完全可能正确地证明了一个错误的定理。而裁判本身也不是铁板一块：10月9日陶哲轩转发了托马斯·黑尔斯谈Lean可靠性的文章，2026年夏天Lean接连暴露健全性漏洞，7月甚至出现过一份利用内核缺陷、被机器接受的“证伪考拉兹猜想”形式化证明。机器之心腾讯科技
冲击落在具体的人身上。2022年菲尔兹奖得主Hugo Duminil-Copin说，这批手稿里有16个问题正是他长期钻研的方向，“他们彻底摧毁了我的研究领域”；理论计算机科学家Dana Moshkovitz研究了一辈子唯一博弈猜想，打开文档却发现这个猜想已被AI“证明”，她觉得那份满是跳跃和诡异构造的证明“像是吃了致幻剂的人写出来的东西”。机器之心
反对之外也有另一侧的声音：组合数学家吉尔·卡莱称这次发布是“数学的一个惊人里程碑”，同时提醒仍需人类核验；OpenAI开发者社区里已有人重新运行准黎曼结果的Lean检查并报告通过；供职于OpenAI的数学家苏炜杰则直言，这像是一场哥白尼一般范式转变的开始。新智元
三分钟：大模型做数学的逻辑，是搜索，不是灵感
OpenAI给出的起点很朴素：既有评测趋于饱和，分不清模型能力了，于是累计向模型提供了约4000个研究问题，再筛选、归组输出；每份任务都写得像实验手册，研究对象、输入条件、要证明的结论、什么样的反例足以推翻它都事先写明，证明路线由模型自己找。公开的10份删节推理摘要里能看到“提出方案—检查它会在哪里失效—调整路线”的循环，连没走通的尝试也留了下来，途中反复调用前人已经证明的定理。所谓“AI证明定理”，本质是把证明拆成可重复执行的搜索步骤：人类靠直觉花几年走完的搜索树，模型用平均3小时的思考算力硬搜过去，再交给程序逐行验货。盒饭财经
有了这套逻辑，就能看懂手稿里“突破”的几种成色。一类是拆掉一批定理共同依赖了几十年的假设，比如让Basic-SDP阈值的NP-困难性不再依赖唯一博弈猜想。一类是给未知问题一个新答案，新稿声称衡量π被分数逼近速度的“无理度”指标等于2。还有一类是把结论推向更高维度：三维挂谷猜想在2025年由王虹与Joshua Zahl正式解决，OpenAI这次直接把175页的证明稿摆上桌，目标直指四维版本。新智元盒饭财经新智元
接下来看账本，不是看篇数
AI让数学成果的生产成本急剧下降，但理解、验证和判断这些成果价值的成本，并没有同步下降——这种不对称正在改写整个科学研究的运行方式。OpenAI已承诺出资资助研讨班、会议和专项活动，帮助人类消化这些证明，但公告尚未列出预算、受资助名单或实施日期。至于普通人和学生要不要继续学数学，MIT教授Justin Solomon在播客里的回答很笃定：生成答案变得越来越便宜，但“验证”与“理解”却没有跟着降价，反而成了最稀缺的奢侈品。爱范儿盒饭财经新智元
