OpenAI 数学项目因符号错误撤回三篇论文

OpenAI 的数学仓库宣布撤回三篇论文

OpenAI — 这家人工智能研究实验室 — 于 2026年10月7日公开宣布，将从其开源数学仓库中撤回 三 篇手稿：

• Algebraic … Weil … eightfolds – 这篇论文引入了一个符号错误，导致其稳定化 – 迹消去 – 论证以及两篇依赖论文所用的构造失效。
• Algebraic … Kuga–Satake Correspondences for K3 Surfaces
• The rational Hodge conjecture for products of K3 surfaces

撤回通知已附加至每个 README README README README README README。

为何撤回至关重要

该符号错误不仅破坏了主要结果，还动摇了另外两篇依赖该结果的论文的逻辑基础。通过撤回这三篇论文，OpenAI 防止了无效定理在其不断增长的 AI 生成数学文献库中进一步传播。

后续修复的范围

除三篇撤回论文外，OpenAI 还修订了 14 篇其他手稿，以修复证明、澄清假设并更正引用。这些修复分为四个主题类别：

• Lipschitz 高度与 Ashkin–Teller 电流（4 篇论文） – 修复了交叉、边界附着、条件化和收敛性论证，并补充了实 – Lipschitz 界面证明的工作。
• Kähler 极小模型程序与丰沛性（6 篇论文） – 扩展了正性与收缩论证，并明确了所需输入假设。
• 驯服与超辛变形（2 篇论文） – 更正了锥等式声明，增加了严格包含的反例，并移除了一个不必要的锥比较依赖项。
• 不可压缩盒传输与有限计算 – 修订了环面投影和公共时钟估计。
• 精确的 Birch–Swinnerton‑Dyer 公式 – 移除了对一篇现已撤回的支持性手稿的过时引用。

这些修订还触发了 13 次额外的引用更新，以指向新修订的配套论文。

形式化进展

OpenAI 新增了 六 个形式化成果和 五 个支持性结果，使顶级成果的整体覆盖率达到 300 / 719 ≈ 42 %，即仓库所声称定理的约 42%。

Hacker News 社区反应

该公告在 HN 评论者中引发了热烈讨论。主要观点包括：

"我认为，经过仔细检查，许多完全由 AI 生成的证明最终都会崩溃。即使在 Lean 中，你也可以构建出能编译但实际陈述内容与你本意不同的理论。" – ijustlovemath

"如果没有一个活跃的数学社区指出这些问题，它会一直保持错误状态。正如 tao 所指出的，自动化数学中的这个社区正面临风险。" – qoez

"目前 ~400 篇中出现 3 个错误，仍然算是相当不错的命中率。" – hmate9

"权威证明在人类数学家实际运行代码之前都有效。又回到了提示工程。" – soltanov

"投入了如此多的 AI 计算资源，却无法等到正式同行评审完成就发布论文？非要搞个 PR 舞台来抬高估值。" – gt565k

批评者警告，AI 生成证明的海量数量可能压垮传统同行评审机制，而另一些人则认为 0.75% 的错误率与人类撰写的数学成果相当。

对 AI 驱动数学的意义

• 透明度 – OpenAI 决定附加撤回通知并保持归档手稿公开可访问，为 AI 生成研究的开放性树立了先例。
• 依赖形式化验证 – 此事件凸显了使用 Lean 或其他证明助手来发现可能绕过非正式检查的细微错误的重要性。
• 社区参与 – 讨论强调，一个警觉的数学社区对于验证大规模 AI 输出依然至关重要。
• 未来风险管控 – 随着 AI 系统开始审计现有文献，撤回频率可能上升，凸显了建立系统化验证流程的必要性。

---

以上信息直接摘自 OpenAI 的 math/history.md 文件（提交时间：2026年10月8日）以及与公告相关的 Hacker News 高分评论。