OpenAI一次公开722份数学手稿

10月7日，OpenAI在GitHub上线openai/math仓库，一次性发布722份手稿，归入372个问题家族，涵盖乘法函数、π的无理性指数、马勒猜想、黎曼zeta函数零点区域、海森堡铁磁体自发磁化、自由群因子同构等领域。仓库分三层：preprints目录放PDF和源文件，lean目录放Lean形式化证明，reasoning_traces目录放模型推理过程摘要，并公开10份推理摘要。OpenAI称绝大多数结果来自同一个未发布的内部模型，每道题平均消耗3小时ChatGPT Pro推理算力，总共提出约4000个问题。README中注明“部分未形式化的结果可能存在问题”。

今年8月，OpenAI曾公开10道未解数学问题的解法，附Lean 4形式化证明和249页手稿。9月，OpenAI宣布内部模型解决Navier-Stokes千年难题及100多个跨领域长期未解问题，引发25位菲尔兹奖得主联名公开信，陶哲轩牵头批评OpenAI把数学当benchmark刷。OpenAI表示，722份手稿只是2026年AI产出数万个数学解法中“最新的一批”。

数学家不满情绪升温。8月OpenAI召集约40位数学家开会，与会者称OpenAI暗示已解决数百个长期未解问题，并保证不会一次全部放出，建议走论文发表路径。OpenAI发言人Lindsay McCallum回应称公司“不知道”有过这样的保证。10月6日，WIRED报道称纽约大学访问数学教授Nestor Guillen形容AI公司行为像“黑帮”，西北大学数学家Bryna Kra称建议“显然被忽略了”。数学家在意的是成果何时算数、由谁说了算——过去需同行评审，如今722份手稿一次性发布，全由一家公司拍板。

陶哲轩态度反转。几个月前他还呼吁同行拥抱AI，称数学正经历哥白尼革命。半年后他提出“Proof Indigestion”（证明消化不良）：证明生命周期有五步——提出解答、机器验证、翻译成人话、同行消化、写进教科书，AI在前两步狂飙，后三步进展几乎为零。9月他联合25位菲尔兹奖得主发表公开声明，批评AI公司把数学当benchmark刷，并在演讲中表示：“必须慢下来。完全没理由这么快，一点理由都没有。”

9月28日，Hinton、Bengio、OpenAI首席科学家Jakub Pachocki、Anthropic联合创始人Jack Clark等20多人联合发表工作论文《如果自动化AI研发引发了智能爆炸怎么办？》。论文称，截至2026年8月，Anthropic内部AI系统在仅有高层监督下已独立完成26%的AI研发工作，五个月前该数字仅为1%。论文警告，一旦AI在AI研发上达到专家级能力，一个开发者就能指挥相当于“数百万”顶级人类研究者的AI团队，“一旦智能爆炸开始，行动的窗口可能就关闭了。”

数学标准绝对：证明对就是对，错就是错。过去人类确认知识的速度决定知识前进的速度，同行评审虽慢，却是科学信用体系的地基。如今这套体系头一次被机器产量甩在身后。AI做数学进入“量产”阶段，难处从“解不解得出来”变成“人类验不验得过来”。