OpenAI三天内撤回三篇数学论文 符号错误致依赖链失效

OpenAI于2026年10月7日撤回三篇数学论文，原因是一篇基础论文存在符号错误，导致依赖链整体失效。

事实还原

10月6日，OpenAI在GitHub公开722篇数学手稿，来源为未发布的内置模型。36小时后，10月7日该公司以“Algebraicity of Weil classes on split abelian eightfolds”存在符号错误为由撤回三篇论文，包括两篇依赖论文。撤回论文现已附加说明，链接到存档版本。

同日OpenAI还修订了14篇其他手稿，修复证明、澄清假设与依赖关系，并新增6个形式化证明，使顶层结果形式化比例达到300/719约42%。此前外部研究者无法复现模型输出。

机制拆解

符号错误直接破坏了稳定化-迹消去论证及后续构造，导致两篇依赖论文同时失效。OpenAI同时对其他系列进行修复，包括Lipschitz高度、Kähler极小模型程序等主题，说明错误发现后需系统性检查交叉依赖。

目前仅有42%顶层结果获得Lean证明，剩余成果缺乏机器验证支持。这表明AI生成数学内容的速度已远超现有验证流程所能覆盖的范围。

产业影响

事件暴露AI在数学研究中“声明与实际输出不一致”的风险。依赖链失效案例显示，单点基础错误可能波及多个成果，增加外部复现难度。GitHub公开历史记录显示，撤回论文的README已说明差距并提供存档。

对于依赖AI辅助数学工作的研究者而言，此类撤稿可能降低对批量生成成果的信任度，同时推动对形式化验证工具的更高要求。

战略判断

【分析】从现有撤稿与修复记录看，AI数学产出规模与验证能力之间的差距已构成实际制约。未来若要提升可信度，可能需在公开前加强机器验证覆盖比例，而非仅依赖事后修复。此判断基于本次事件中42%形式化比例及三篇撤稿事实，并非确定预测。