# 证明出现符号错误，OpenAI撤回三篇数学论文

> 2026年10月7日，OpenAI宣布撤回三篇代数几何论文，因为一处符号错误导致关键论证失效。

Oossa · 2026-10-08 · https://oossa.com/zh/openai-pulls-three-math-papers-after-proof-error-discovered

OpenAI表示，在一项核心证明中发现符号错误后，决定撤回三篇预印本数学论文。该错误导致稳定化迹抵消这一步骤无效，也动摇了另外两篇以该结果为基础的后续论文。撤回的论文如下：
• 分裂阿贝尔八维簇上韦伊类的代数性
• K3曲面上Kuga–Satake对应的代数性
• K3曲面乘积的有理霍奇猜想
OpenAI已在这些论文页面添加说明，并附上存档版本链接，供读者查看证明中的漏洞。

## 还有哪些更新？

除撤回论文外，OpenAI还修订了另外14篇手稿。修订内容包括弥补证明漏洞、澄清假设和更正引文，涉及Lipschitz高度、Kähler极小模型纲领和超辛变形等领域。另有13篇论文更新了引文，以引用相关研究的修订版本。该组织还新增了六项形式化验证，使主要结果中经过形式化验证的比例升至约42%（719项中有300项）。

## 事实

- 撤回决定于2026年10月7日公布。
- 三篇论文因符号错误导致稳定化迹抵消论证失效而被撤回。
- OpenAI修订了另外14篇手稿，并更新了另外13篇论文中的引文。
- 新增六项形式化验证，使形式化结果约占总数的42%。
- 撤回论文现已显示说明，并附有存档版本链接。

## 为什么重要

对于关注OpenAI形式化验证工作的数学家来说，此次撤回意味着相关文献中出现了缺口，也可能影响任何引用这三项结果的研究。读者现在可以查看错误的具体位置，避免以有问题的证明为基础开展研究。与此同时，修订的14篇论文和新增的形式化验证仍有助于提升OpenAI数学文献库的可靠性。

## 来源与参考

1. [OpenAI Withdraws 3 Math Papers](https://github.com/openai/math/blob/main/history.md) – Hacker News, 2026-10-08
2. [OpenAI’s math solutions aren’t meeting the field’s standards yet](https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/) – TechCrunch, 2026-10-08
3. [Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field](https://the-decoder.com/some-mathematicians-call-for-openai-boycott-after-ai-generated-proofs-flood-their-field/) – The Decoder, 2026-10-08
4. [OpenAI withdraws three mathematical results](https://twitter.com/danintheory/status/2108065033070789090) – Hacker News, 2026-10-08

最后更新: 2026-10-08