OpenAI 722 篇数学稿发布第二天：一处符号错误撤回 3 篇、修订 14 篇，数学家协会呼吁停止与 OpenAI 合作

这件事意味着什么

【要点】

OpenAI 10 月 6 日在 GitHub 仓库 openai/math 公开内部模型产出的 722 篇数学稿件（https://agipulse.org/e/702）。仓库的更新记录显示，10 月 7 日就撤回了 3 篇：《Algebraicity of Weil classes on split abelian eightfolds》里的一处符号错误让关键论证失效，连带依赖它的两篇（包括一篇 K3 曲面乘积的有理 Hodge 猜想）一起撤下，稿件总数变为 719。同一天还修订了 14 篇，修补证明、改正命题或补充前提条件，另有 13 篇随之更新引用。目前有 Lean 形式化证明的主结果是 300/719，约 42%。

人类数学协会（Association for Human Mathematics）发表声明，称数学家并没有要求做这件事，指责 OpenAI 无视其数学与 AI 顾问小组「前沿公司不应拿内部模型测高深数学问题」的立场，认为一次放出 700 多份文件「不是学术，而是展示实力」，并呼吁数学家停止与 OpenAI 合作。陶哲轩在个人博客以客座文章形式转载了这份声明；第二天他的博客又刊出 Álvaro Lozano-Robledo 的客座文章，说不少本科生和研究生正在因此放弃读数学博士。X 上相关讨论 24 小时约 1270 帖，每小时 20 到 85 帖，持续不退。

【可核验】

协会声明（陶哲轩博客转载）：https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/

撤回与修订记录：https://github.com/openai/math/blob/main/history.md

客座文章：https://terrytao.wordpress.com/2026/10/08/what-should-we-tell-our-students/

X 讨论：https://x.com/TheRundownAI/status/2108214995087396923

【我们的判断】

1. 撤回本身说明了问题所在。模型解题的成本已经降到每题约 3 小时算力，但核对一篇证明仍要专家花几天到几周。一次放出 700 多篇，等于把核对成本转给了整个数学界。一天内就因为一个符号错误撤掉 3 篇，而 58% 的主结果还没有形式化证明兜底。

2. 协会反对的不是 AI 会不会做数学，而是由谁定节奏、由谁承担核对。这场争论接下来更可能落到发表规则上，而不是能力本身。

3. 接下来值得看三件事：OpenAI 是否给每篇稿件标注核对状态，Lean 覆盖率能否明显上升，期刊和预印本平台是否对批量 AI 稿件定新规则。