OpenAI发布722篇AI数学手稿，25位菲尔兹奖得主警示验证危机

2026年10月6日，OpenAI在GitHub上线一个包含722篇数学手稿的仓库，内容涵盖数论、代数几何、理论计算机科学等17个领域，整理为372组成果。这批手稿并非渐进式更新，而是由单一AI智能体在一次推理中批量生成，平均每项消耗算力约等于ChatGPT Pro连续思考三小时。更引人注目的是，其中多篇宣称对千禧年大奖难题取得进展——包括黎曼猜想的弱化版本、BSD猜想局部突破，以及有理数域上希尔伯特第十问题的完整解决（后者悬置超50年）。

这一动作紧随9月初OpenAI宣称“解决纳维-斯托克斯方程存在性与光滑性问题”之后，构成一次从单点突破到规模倾泻的策略性展示。然而，数学界反应远非欢呼。9月29日，25位菲尔兹奖得主联合发表声明；同月，独立顾问小组发出公开警告；一位菲尔兹奖得主亦已加盟OpenAI。剑桥大学詹姆斯·梅纳德称其为“一场海啸”，而雨果·迪米尼-科潘则强调：验证工作量巨大，人类消化能力已严重滞后。

手稿结构包含三部分：722篇自然语言证明及源码、10份模型推理摘要、部分Lean形式化代码。Lean是一种可被计算机逐行核验的证明语言，能排除逻辑推导错误，但前提是形式化陈述与原命题严格一致——这一步仍需人工把关。OpenAI声称约40%顶层结果附有Lean版本，折算为162篇（占比22%）。帝国理工学院凯文·巴扎德的抽样显示：在其专精的数论领域30篇中，仅7篇质量突出，仅1篇通过机器验证。更关键的是，发布次日OpenAI即撤回3篇预印本、修订14篇、更新13篇引用，总数降至719——一个基础错误导致一篇论证失效，并连锁影响另两篇。

麻省理工学院安德鲁·萨瑟兰明确指出：在模型未开源、第三方无法复现前，任何“单一智能体一次性解决问题”的说法均属未经证实。目前模型本身仍未公开，所有成果依赖OpenAI单方面陈述。

值得注意的是，这些AI成果并非凭空诞生。丹麦奥尔堡大学Qiongxiu Li发起的开源项目《巨人之肩》（On Whose Shoulders）对全部722篇手稿开展系统溯源，发现其引用跨越5个多世纪、11,067部人类著作、约9,600位数学家，其中114人为菲尔兹奖、阿贝尔奖或沃尔夫奖得主。AI实质是将前沿人类成果作为工具链进行组合与延伸。

例如：算术几何中一篇稿件直接援引Fargues–Scholze 2024年工作；双有理几何多篇沿用Caucher Birkar的有界补定理；概率论依赖Hugo Duminil-Copin等人对随机簇模型的临界穿越估计；图论反例采用洛瓦斯与Szegedy的图极限构造；自旋玻璃研究使用Michel Talagrand的空腔方法；Ricci流论证调用佩雷尔曼2002年的熵单调性；Hodge理论则基于德利涅的半单性论证。

华人数学家贡献显著：丘成桐1976年证明卡拉比猜想的工作被10余篇引用；陈省身1944年高斯–博内公式的内蕴证明及1974年陈–西蒙斯形式各被3篇使用；王虹与Joshua Zahl 2025年三维Kakeya挂谷猜想证明，成为四维Kakeya稿件的基础；郭少明、张瑞祥、谢灵尧、丁剑、田刚、孙崧、周向宇等人近年成果亦高频出现。

这种“站在巨人肩上”的模式揭示了一个核心事实：AI并未取代数学家，而是将人类数百年积累的知识库转化为可调用的模块化工具。问题在于传播节奏与学术规范的错配——OpenAI将“生成”与“确认”打包发布，使读者自行分辨哪些是可靠进展、哪些尚待检验。陶哲轩将此状态命名为“证明消化不良”：机器高速产出，人类却来不及理解、教学与吸收，最终堆积大量无人能核查的文本。

更深层的挑战在于学术激励机制的脱节。当前预印本平台中，AI辅助证明正快速增多，但将其改写为人类可读、可验证形式的工作几乎不被计入学术产出，导致愿意投入“消化劳动”的研究者持续减少。当理解成为瓶颈，而验证能力停滞，缺口只会扩大。

剑桥团队还发现，纳维-斯托克斯论文与其Lean代码存在明显不一致：形式化结论弱于论文宣称。这再次印证一个基本准则——机器验证不等于论文成立，形式化只是逻辑环节的保险，而非命题真实性的担保。

伦敦大学学院弗朗西斯·约翰逊曾研究沃尔D(2)问题25年无果，近期与AI协作后坦言：“其分析缜密程度令我震惊，精灵已经出瓶。”但他也强调，协作不等于替代。真正的转折点不在AI能否生成证明，而在学科能否建立一套匹配新生产方式的验证、评估与知识整合机制。

目前，学界尚未形成统一应对方案。部分机构开始设立AI证明审查小组，也有期刊讨论增设“形式化验证附录”强制要求。但共识正在凝聚：数学的恒久性价值，不能让位于生成速度的竞赛。

截至10月中旬，719篇手稿仍处于预印本状态，无一正式发表。OpenAI未宣布后续计划，但其行动已永久改变数学研究的边界认知——不是AI能否做数学，而是人类如何与一种近乎零成本的知识生产方式共处。