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

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

还有哪些更新？

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