OpenAI 撤回 3 篇数学手稿：一个符号错误作废三篇，另修订 14 篇

OpenAI 在 10 月 7 日更新了 10 月 6 日放出的数学手稿仓库，首次公开撤回其中三篇，并在仓库的 history.md 里写明原因：论文《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》。被撤稿件现在带撤回声明，并链接到归档版本。

同一份记录里还有修复：14 篇手稿做了证明修补、陈述更正与假设澄清，另 13 篇因引用被修订的姊妹论文而更新了版本日期；新增 6 个形式化与 5 项支撑结果，顶层结果的形式化比例升到 300/719，约 42%。仓库现在的目录是 719 篇手稿、372 个族——比 10 月 6 日发布时说的 722 篇少 3 篇，与撤回篇数一致。

这件事发生在数学界对这批手稿的质疑升温之际：剑桥团队指出 Lean 形式化与自然语言证明并不对应，数学界组织 AHM 也在 10 月 7 日发声明要求数学家停止与 OpenAI 合作。仓库 README 保留原先口径——「部分未形式化的结果可能有问题，我们会尽快修复」。

原文链接：OpenAI 官方 GitHub 仓库