OpenAI 一次性甩出 722 篇数学证明：哪些是真突破，哪些已撤回

2026 年 10 月 6 日，OpenAI 在 GitHub 创建一个公开仓库，一次性上传 722 篇由内部前沿模型生成的数学研究手稿，归入 372 个"结果族"，覆盖数论、几何、代数、理论计算机科学等 17 个领域，包含准黎曼猜想、四维挂谷问题等长期悬案。平均每项成果消耗约 3 小时 ChatGPT Pro 算力。

从一道方程到 722 篇

图1：OpenAI 数学证明事件时间线——从纳维-斯托克斯到 722 篇手稿，再到撤回 3 篇。

这距离 9 月 8 日 OpenAI 宣称用约 1 万个 AI 智能体、耗时 88 小时完成纳维-斯托克斯方程（千禧年七大难题之一）的形式化证明，只过了一个月。随后 9 月 11 日，25 位菲尔兹奖得主联名发表《人工智能在数学中的严重错位》。

撤稿：一个正负号引发的三连

发布次日，一篇手稿把本应为 -1 的符号写成 +1，导致关键结论出错，另外 2 篇依赖它的文本一并失效，共撤回 3 篇，可见总数降至 719。斯坦福科技评论统计，722 篇中仅 162 篇做了 Lean 形式化验证，而 10 月 3 日至 6 日新增的 143 篇验证率为 0%。

数学家怎么看

惊叹派如高尔斯认为部分成果已达顶刊水准；警惕派如陶哲轩称其为"有毒废料"，强调验证与消化不能缺位。本文后续将专文汇总各方原话。