精选9天前342 投票
OpenAI 撤回三篇数学论文：一个符号错误引发的连锁反应
一次符号错误，三篇论文撤回
OpenAI 近日宣布撤回三篇数学论文，原因是其中一篇论文存在符号错误，导致核心论证失效，并波及两篇依赖该结果的后续论文。
被撤回的三篇论文分别是：
- Algebraicity of Weil classes on split abelian eightfolds
- Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
- The rational Hodge conjecture for products of K3 surfaces
根据 OpenAI 发布的说明，问题出在第一篇论文中。该论文的“stabilization-trace cancellation”论证因一个符号错误而无效，而这一论证又被另外两篇论文所依赖。因此，三篇论文同时被撤回。目前，这些论文的 README 文件中已添加说明，解释论证缺口并链接到存档版本。
不止撤回：14 篇论文修复，13 篇更新引用
除了撤回，OpenAI 还披露了更大规模的修正工作：14 篇其他论文进行了证明修复、陈述更正、假设澄清和依赖关系调整，另有一处过时引用被修正。
具体修复涉及多个方向：
- Lipschitz heights 与 Ashkin–Teller currents（4 篇）：修复了交叉、边界附着、条件化和收敛论证，并补充了实 Lipschitz 接口证明。
- Kähler 极小模型程序与丰度（6 篇）：扩展了正性和收缩论证，明确了哪些结果作为输入及其所需假设。
- Taming 与 hypersymplectic 形变（2 篇）：更正了“Taming implies compatibility”中的锥相等断言，添加了严格包含示例，并移除了 hypersymplectic 论文中不必要的锥比较依赖。
- Incompressible Box Transport 与 Finite Computation：修订了环面投影和公共时钟估计。
- Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank：移除了对已删除支持手稿的过时引用。
此外，作为修复的连锁反应，13 篇其他论文更新了引用，以指向修订后的版本。这些更改主要涉及引用和版本日期。
形式化验证进展：42% 顶级结果已形式化
OpenAI 同时更新了形式化验证的进展：新增 6 个形式化和 5 项其他补充，覆盖支持性结果。目前，顶级结果的形式化比例达到 300 / 719 ≈ 42%。
这一数据表明，尽管出现了撤回事件，OpenAI 在数学形式化方面的推进仍在持续。形式化验证通过机器检查证明，能有效捕捉此类符号错误等细微问题，但显然，在形式化覆盖率达到 100% 之前，人工审查仍不可或缺。
对 AI 数学研究的启示
此次撤回事件凸显了 AI 辅助数学研究的一个关键挑战：自动化推理系统可能产生看似合理但存在细微错误的论证，而这些错误一旦被后续工作依赖，就会引发连锁反应。OpenAI 主动披露并系统修正的做法值得肯定，但也提醒我们，在 AI 生成数学证明日益普及的今天，严格的验证流程和透明的纠错机制至关重要。
对于依赖这些论文的研究者来说，及时查看 README 中的版本说明和撤回通知，是避免引用错误结论的必要步骤。
