OpenAI撤回部分AI生成数学手稿

OpenAI近期在其发布的数学研究成果中撤回了3篇手稿。

事件背景与核心进展

北京时间10月7日上午10:00，OpenAI在GitHub上发布了一批由其内部模型生成的数学结果。该目录的初始版本包含722篇手稿，共分为372个结果家族。

根据10月8日的核查显示，目录中的手稿数量降至719篇，而结果家族数量维持在372个。其中被撤回的3篇手稿涉及符号错误问题。

错误原因及影响范围

此次撤回的起因是一篇日期为9月18日、讨论Weil类代数性的几何手稿。该手稿在撤回声明中指出其证明中存在一个符号错误。具体而言，该证明要求几何交点的正负计数在调用后续定理前之和为零，但实际操作中出现了偏差。

根据代码仓库的变更历史，该符号错误导致了一项稳定化迹抵消论证失效，进而使两篇依赖于此结论的论文也随之失效。被撤回的论文包括：

  • 《分裂阿贝尔八倍体上Weil类的代数性》（Algebraicity of Weil classes on split abelian eightfolds）
  • 《K3曲面Kuga-Satake对应关系的代数性》（Algebraicity of Kuga–Satake Correspondences for K3 Surfaces）
  • 另一篇涉及K3曲面乘积的有理Hodge猜想的论文

相关修复与形式化进展

除了撤回上述3篇手稿外，另有14篇手稿获得了证明修复。同时，OpenAI新增了6项Lean形式化验证，使得在剩余的719项结果中，形式化验证的份额达到约42%，覆盖了300项结果。