OpenAI于2026年10月7日撤回三篇数学手稿。就在不到一天前，公司刚在GitHub上公开了由内部模型生成的722篇手稿。其中一篇论文的关键论证出现符号错误，导致核心论证失效，并连带影响另外两篇依赖它的论文。这件事提醒人们：把数学手稿公开，不等于其中的论断已经得到独立验证。2435

OpenAI公开了什么？

10月6日，OpenAI将一个尚未公开的内部模型生成的数学手稿发布到GitHub。整批研究按372个系列归类；每个系列可能包含一项主要结果、配套论证、推论或不同证明。研究涉及代数、几何、计算机科学等领域。13538

因此，722篇手稿并不代表722项彼此独立的结果。有些论文依赖同一系列中的论证或构造，而这层关联，正是此次撤回事件的关键。124

一个符号错误如何影响三篇论文

问题出在《分裂阿贝尔八维簇上的韦伊类代数性》（Algebraicity of Weil classes on split abelian eightfolds）。在一处关键论证中，论文将某种几何操作的符号记为+1；但按照论文采用的约定，该符号应为−1。这个错误破坏了支撑论文构造的抵消论证。212427

另外两篇手稿——《K3曲面的Kuga–Satake对应的代数性》（Algebraicity of Kuga–Satake Correspondences for K3 Surfaces）和《K3曲面乘积的有理霍奇猜想》（The rational Hodge conjecture for products of K3 surfaces）——都依赖这项工作。基础论证失效后，它们相应的论断也失去了原有支撑，因此OpenAI撤回了三篇论文。这里失效的是论文的论证，并不意味着相关猜想已被证伪。212435

仓库更新了哪些内容？

10月7日的更新记录显示，OpenAI撤回了三篇手稿，修订了另外14篇，并更新了13篇配套论文中的参考文献。目录中的手稿总数从722篇降至719篇，仍分为372个系列。12428

仓库和OpenAI的发布材料都说明，这批结果处于不同的验证阶段，其中一些可能存在错误。OpenAI表示，发布方式参考了其与“数学与人工智能咨询组”的交流。换言之，这批手稿应被视为供研究者审查的材料，而非已经定论的发现。13339

Lean形式化证明能说明什么？

部分研究附有Lean形式化证明。Lean是一种证明助手，可让计算机检查形式化后的数学证明。不过，现有资料采用的统计口径并不一致：一份概述称，719项主要结果中约有300项经过形式化；另一份资料则称，722篇手稿中有162篇对主要结果提供了形式化证明。两者统计单位不同，也都不能说明相应论文中的每一项主张都已得到独立验证。253336

咨询组的参与和形式化证明的存在，为评估这次发布提供了背景，但都不能取代对书面论证及其适用范围的核查。此次撤回也凸显了审查关联论文的重要性：一项共享论证中的错误，可能影响不止一篇手稿。243339

关键不只是“有没有错”，而是每项结果是否经得起核查

这次撤回说明，一项具体论证存在缺陷，两篇依赖它的论文也无法继续以该论证为依据。它既不能证明其余手稿有误，也不能证明其余主张正确。每项结果仍需分别评估，包括检查证明本身、所依赖的假设，以及它与相关研究之间的联系。12135

OpenAI于2026年10月7日撤回三篇数学手稿。就在不到一天前，公司刚在GitHub上公开了由内部模型生成的722篇手稿。其中一篇论文的关键论证出现符号错误，导致核心论证失效，并连带影响另外两篇依赖它的论文。这件事提醒人们：把数学手稿公开，不等于其中的论断已经得到独立验证。2435

OpenAI公开了什么？

10月6日，OpenAI将一个尚未公开的内部模型生成的数学手稿发布到GitHub。整批研究按372个系列归类；每个系列可能包含一项主要结果、配套论证、推论或不同证明。研究涉及代数、几何、计算机科学等领域。13538

因此，722篇手稿并不代表722项彼此独立的结果。有些论文依赖同一系列中的论证或构造，而这层关联，正是此次撤回事件的关键。124

一个符号错误如何影响三篇论文

问题出在《分裂阿贝尔八维簇上的韦伊类代数性》（Algebraicity of Weil classes on split abelian eightfolds）。在一处关键论证中，论文将某种几何操作的符号记为+1；但按照论文采用的约定，该符号应为−1。这个错误破坏了支撑论文构造的抵消论证。212427

另外两篇手稿——《K3曲面的Kuga–Satake对应的代数性》（Algebraicity of Kuga–Satake Correspondences for K3 Surfaces）和《K3曲面乘积的有理霍奇猜想》（The rational Hodge conjecture for products of K3 surfaces）——都依赖这项工作。基础论证失效后，它们相应的论断也失去了原有支撑，因此OpenAI撤回了三篇论文。这里失效的是论文的论证，并不意味着相关猜想已被证伪。212435

仓库更新了哪些内容？

10月7日的更新记录显示，OpenAI撤回了三篇手稿，修订了另外14篇，并更新了13篇配套论文中的参考文献。目录中的手稿总数从722篇降至719篇，仍分为372个系列。12428

仓库和OpenAI的发布材料都说明，这批结果处于不同的验证阶段，其中一些可能存在错误。OpenAI表示，发布方式参考了其与“数学与人工智能咨询组”的交流。换言之，这批手稿应被视为供研究者审查的材料，而非已经定论的发现。13339

Lean形式化证明能说明什么？

部分研究附有Lean形式化证明。Lean是一种证明助手，可让计算机检查形式化后的数学证明。不过，现有资料采用的统计口径并不一致：一份概述称，719项主要结果中约有300项经过形式化；另一份资料则称，722篇手稿中有162篇对主要结果提供了形式化证明。两者统计单位不同，也都不能说明相应论文中的每一项主张都已得到独立验证。253336

咨询组的参与和形式化证明的存在，为评估这次发布提供了背景，但都不能取代对书面论证及其适用范围的核查。此次撤回也凸显了审查关联论文的重要性：一项共享论证中的错误，可能影响不止一篇手稿。243339

关键不只是“有没有错”，而是每项结果是否经得起核查

这次撤回说明，一项具体论证存在缺陷，两篇依赖它的论文也无法继续以该论证为依据。它既不能证明其余手稿有误，也不能证明其余主张正确。每项结果仍需分别评估，包括检查证明本身、所依赖的假设，以及它与相关研究之间的联系。12135