AI 模型
OpenAI 撤回 3 篇 AI 产出的数学手稿：一处符号错误破坏证明，首现撤回
据 openai/math 仓库 history.md（2026-10-07 更新），因《Algebraicity of Weil classes on split abelian eightfolds》存在一处符号错误，破坏了 stabilization-trace 消去论证及两篇依赖它的构造，OpenAI 撤回 3 篇手稿（上述一篇 +《Algebraicity of Kuga–Satake Correspondences for K3 Surfaces》+《The rational Hodge conjecture for products of K3 surfaces》）；另修复 14 篇、更新 13 篇引用、新增 6 项形式化，累计顶线结果形式化比例 300/719 ≈ 42%。这是 OpenAI「722 篇 AI 数学手稿」弧里的首次撤回动作（与已发布条同弧、非重复）。
对 AI 使用者意味着什么
吹得最猛的能力先自己撤回了；AI 数学成果进入「被同行挑错、逐篇修/撤」的常态阶段。撤回的 3 篇并非 Lean 验证。
来源：openai/math 仓库 history.md（官方一手） ↗ 原文链接
有具体工作流问题？联系咨询。新闻本身免费阅读。