OpenAI 发布 722 篇数学预印本后撤回 3 篇

在 OpenAI 发布超过 700 篇预印本、描述一个内部 AI 模型取得重大数学成果后不到 24 小时，该公司已撤回其中三篇稿件，原因是存在错误。

10 月 6 日，OpenAI 在一个 GitHub 仓库中发布了 722 篇预印本，内容涉及在几何、计算机科学、代数等学科中解决 372 个数学问题的所谓进展。该公司称此次发布是为了“推动人类知识的前沿，并促进数学的进一步进展”。

但在 10 月 7 日，OpenAI 宣布撤回三篇稿件，原因是符号错误。根据公告，该错误使一篇稿件中的一个论证失效，并使两篇依赖论文所使用的构造失效。每篇被撤回的论文都附有说明，解释“这一缺口”，并称 OpenAI“修订了另外 14 篇稿件，包括证明修复、更正陈述、更清晰的假设和依赖关系，以及一处过时引用的更正”。

康奈尔大学数学副教授 Alex Townsend 表示，一个错误连锁影响到 OpenAI 的三篇稿件并不令人意外。他说，他怀疑还会发现更多错误。

“鉴于数学界对 AI 的怀疑，我认为 OpenAI 本应先宣布那些经过 Lean 验证的稿件，”Townsend 告诉我们，他指的是 Lean，这种用于检查数学证明的开源编程语言。“他们本可以另行为其他稿件发布公告，并请求帮助验证。这样对学界和公众会更清楚。”

OpenAI 的一位发言人告诉我们，该公司是在一次审计中发现这些错误的。该发言人说，与“其他研究稿件”一样，这一过程是迭代的。

“我们欢迎数学界的审视和反馈，”该发言人告诉我们，“在发现错误的地方，我们将努力及时更正，如果找不到修复办法，就会撤回论文。我们希望给学界时间和空间来评估这项工作，我们也在继续改进未来论文的清晰度和呈现方式。”

在 X 上的一篇帖子中，该公司研究负责人 Dan Roberts 宣布了这些撤回，并写道 OpenAI 将“继续用新的形式化成果以及我们注意到的任何勘误来更新该仓库”。

OpenAI 发言人告诉我们，该公司在数学与人工智能咨询小组的合作者建议不要等待“完全形式化”就发布结果，并且大约 50% 的结果是在未经确认的情况下发布的。

“我们希望从这次发布的反馈中学习，并与 AGMAI 合作，了解他们是否对今后的发布协议有更新建议，”该发言人在一封电子邮件中说。“我们的意图是尽可能遵循他们的协议。”

麻省理工学院数学系高级研究科学家 Andrew Sutherland 表示，他赞赏 OpenAI 在发现错误后迅速采取行动，称这是“负责任的做法”。

然而，Sutherland 强调，许多数学家“对 OpenAI 迄今为止的行为感到不满”，尤其是在处理 9 月 8 日的公告时——该公告称一个 AI 系统解决了 Navier-Stokes 问题，即询问一组描述气体和液体如何运动的方程是否会在某一点变得不可靠。 

发布之后，一群顶尖数学研究者表达了担忧，认为 OpenAI 仓促发布 Navier-Stokes 公告，“没有留出时间进行适当的撰写、孤立新方法和新思想，以及引用他人相关的先前工作。”超过 8,000 名研究者赞同这一观点。  

“我认为撤稿和更正会被数学界积极看待，但要赢回他们失去的信任，还需要做更多的事情，”Sutherland 告诉我们。 

人类数学协会也对最近的发布提出了批评。“数学家们并没有要求做这项工作，”该组织 10 月 7 日发布的声明说。“一次性发布 700 多个文件不是学术的展示，而是权力的展示。我们敦促数学家停止与 OpenAI 的合作，回归以人类理解为中心的科学愿景。”

喜欢 Retraction Watch 吗？你可以进行可抵税的捐赠来支持我们的工作，在 X 或 Bluesky 上关注我们，在 Facebook 上点赞我们，在 LinkedIn 上关注我们，将我们添加到你的 RSS 阅读器，或订阅我们的每日摘要。如果你发现了一条不在我们数据库中的撤稿，可以在这里告诉我们。如需评论或反馈，请发送电子邮件至 [email protected]。