722 篇数学论文发出 36 小时，OpenAI 撤了 3 篇。陶哲轩说整个游戏规则该重写了
OpenAI 往 GitHub 扔下 722 篇机器写的数学手稿之后 36 小时，仓库的 history 文件有了第一条记录：撤稿三篇。《分裂阿贝尔八维簇上 Weil 类的代数性》里一个正负号错误，弄垮了一段稳定化迹消去论证，而另外两篇手稿建在这个构造上，于是三篇一起下架，其中包括一篇声称证明了 K3 曲面乘积上的有理 Hodge 猜想的文章。另有 14 篇做了证明修补、改正陈述、收紧假设，13 篇把引用换成修订版。OpenAI 的 Daniel Litt 在 X 上的说法是"新增 6 个 Lean 形式化、19 处修改、3 篇撤稿"，顶层结果的形式化比例现在是 719 篇里的 300 篇，约 42%。Hacker News 为此开了两个帖子，337 分和 234 分。
几周内写出 722 篇论文，里面有个符号错误，没人该惊讶。新鲜的是速度和透明度。错误是读者发现的，撤稿是公开的，被撤的手稿带着说明存档，依赖它的论文一并下架而不是晾着。这比大多数人类期刊的做法都规范。它也是验证积压的第一个硬数字：两天内 719 篇里错了 3 篇，58% 的结果还没形式化，还有数不清的读者根本没开始读。
陶哲轩的回应同一个早上落地，这段话会被引用很多年。在 Mathstodon 的四连发帖里（Hacker News 585 分），陶哲轩说"数学 1.0"把"第一个解决公开问题"看得最重，哪怕解法当时没人看懂，而这个目标"已经被优化到不可持续的地步"。"数学 2.0"得把纯解题挪出中心，转而重视阐释、社群建设和开辟新方向。AI 对这几件事都能帮上忙，但这需要"比数学 1.0 那种把你最喜欢的 AI agent 指向一堆公开问题然后要答案的心态，多得多的想象力和野心"。教育、发表、职业晋升的标准都得重写。
机构层面的反应撕裂得厉害。TechCrunch 拿 OpenAI 自称遵循的"数学与 AI 顾问组"指南逐条核对：顾问组第一条要求是别拿专有模型去测公开问题，OpenAI 明说干的就是这个；719 篇手稿里只有 10 篇附了模型的推理过程；顾问组的表态是"最终得由数学界来评判我们的建议有没有被落实"。一个更新的组织"人类数学协会"说得更狠：这是"权力的展示，不是学术的展示"，并呼吁数学家停止与 OpenAI 合作。加密圈那边，以太坊的 Justin Drake 借此推"地堡模式"，理由是一个能以这种速度产出数论的系统，迟早会碰到公钥密码学赖以成立的假设。
老实的读法是：AI 数学的产出端已经解决到成了一个问题。真正卡脖子的环节挪到了阅读、检查和理解，而那是人的时间。36 小时撤三篇不是丑闻。那只是积压开始清理时的样子。
链接：github.com/openai/math/blob/main/history.md、mathstodon.xyz/@tao/117395269325940185、ahmath.org/statements、techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/
← 返回所有文章
几周内写出 722 篇论文，里面有个符号错误，没人该惊讶。新鲜的是速度和透明度。错误是读者发现的，撤稿是公开的，被撤的手稿带着说明存档，依赖它的论文一并下架而不是晾着。这比大多数人类期刊的做法都规范。它也是验证积压的第一个硬数字：两天内 719 篇里错了 3 篇，58% 的结果还没形式化，还有数不清的读者根本没开始读。
陶哲轩的回应同一个早上落地，这段话会被引用很多年。在 Mathstodon 的四连发帖里（Hacker News 585 分），陶哲轩说"数学 1.0"把"第一个解决公开问题"看得最重，哪怕解法当时没人看懂，而这个目标"已经被优化到不可持续的地步"。"数学 2.0"得把纯解题挪出中心，转而重视阐释、社群建设和开辟新方向。AI 对这几件事都能帮上忙，但这需要"比数学 1.0 那种把你最喜欢的 AI agent 指向一堆公开问题然后要答案的心态，多得多的想象力和野心"。教育、发表、职业晋升的标准都得重写。
机构层面的反应撕裂得厉害。TechCrunch 拿 OpenAI 自称遵循的"数学与 AI 顾问组"指南逐条核对：顾问组第一条要求是别拿专有模型去测公开问题，OpenAI 明说干的就是这个；719 篇手稿里只有 10 篇附了模型的推理过程；顾问组的表态是"最终得由数学界来评判我们的建议有没有被落实"。一个更新的组织"人类数学协会"说得更狠：这是"权力的展示，不是学术的展示"，并呼吁数学家停止与 OpenAI 合作。加密圈那边，以太坊的 Justin Drake 借此推"地堡模式"，理由是一个能以这种速度产出数论的系统，迟早会碰到公钥密码学赖以成立的假设。
老实的读法是：AI 数学的产出端已经解决到成了一个问题。真正卡脖子的环节挪到了阅读、检查和理解，而那是人的时间。36 小时撤三篇不是丑闻。那只是积压开始清理时的样子。
链接：github.com/openai/math/blob/main/history.md、mathstodon.xyz/@tao/117395269325940185、ahmath.org/statements、techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/
评论