菲尔兹奖得主陶哲轩在个人博客全文转载“人类数学协会”声明，公开声援抵制与OpenAI合作，批评其一次性发布700多份未经数学界充分消化的AI生成数学手稿。事件导火索是OpenAI于10月6日在GitHub公开722篇由内部模型生成的数学手稿，涉及372个成果组，声称在准黎曼猜想、四维挂谷猜想和唯一博弈猜想等难题上取得突破。数学界反应复杂，部分成果已通过Lean形式化验证，但OpenAI也因符号错误撤回3篇并修订14篇，围绕学术规范与商业AI影响力的争论持续发酵。
SynthePulse Insight · AI 深度解读会员精读
版本 1 · 1 个来源
2026年10月6日，OpenAI在GitHub一次性公开722篇由未公开内部模型生成的数学手稿，声称触及准黎曼猜想、四维挂谷猜想与唯一博弈猜想；次日陶哲轩转载人类数学协会的抵制声明。争议的核心不是“机器能否证明定理”，而是当生成速度远超人类理解速度时，验证成本由谁承担、研究议程由谁决定。
2026年10月6日，OpenAI在GitHub上一次性公开了722篇由内部AI模型生成的数学手稿，涉及372个成果组，涵盖数论、几何、代数、理论计算机科学等领域。据OpenAI公布的信息，这批研究由一个尚未公开的内部前沿模型完成；由于该模型在现有数学基准测试中表现已接近上限，OpenAI开始用真正的未解数学难题来检验其能力。
规模本身构成了冲击。在整个评估过程中，模型共尝试解答约4000道数学问题，经筛选整理出372个成果组，每组包含核心定理、相关推论或不同证明方案。OpenAI表示绝大多数成果采用相近生成流程，平均每项成果消耗的算力相当于ChatGPT Pro约三小时的“思考计算量”，且不包括全部失败尝试所占资源。
但数学界的消化节奏是另一套时间尺度。传统研究中，解决一个大定理往往只是起点，学者需要通过详尽论文、研讨会与长期交流讲清证明背后的核心思想、发展了哪些新工具、能否拓展到其他领域，这一过程可能耗费数年甚至几代人的接力。当数百份复杂证明以“批发”速度出现时，数学家可能被迫沦为“专职校对员”。
本文基于单一二手报道来源（DeepTech深科技，source_tier 2）及其转述的OpenAI、AHM、AGMAI等方说法。OpenAI公布的发布规模、手稿数量、形式化比例、撤回与修订数字等，均来自该报道转述的OpenAI信息，未经独立第三方核实；准黎曼猜想、四维挂谷猜想、唯一博弈猜想等证明是否成立，尚未获数学界严格确认。陶哲轩转载AHM声明一事为报道确认的事实，但AHM声明内容本身属该组织的主张。约58%未完成形式化的主要结论中是否还存在未被发现的漏洞，以及形式化验证通过的命题是否准确对应原问题真正的数学内涵，均需人工核实。
主报道
主报道来源