OpenAI 在发布 722 份未解数学难题手稿一天后撤回 3 份预印本

在 OpenAI 发布了 700 多份描述其内部 AI 模型重大数学成果的预印本不到 24 小时后，该公司已因错误撤回了其中三篇手稿。

10 月 6 日，OpenAI 在 GitHub repository 中发布了 722 份预印本，涉及在解决几何、计算机科学、代数及其他学科的 372 个数学问题方面取得的所谓进展。该公司称此次发布是为“推动人类知识边界并促进数学进一步发展”而做出的努力。

但在 10 月 7 日，OpenAI 宣布撤回了三篇手稿，原因是存在一个符号错误。根据公告，该错误导致一篇手稿中的论证失效，并影响了另外两篇依赖该手稿的论文所使用的构造。每篇撤回的论文都附有解释“缺陷”的通知，并说明 OpenAI 已“修订了另外 14 篇手稿，包括修复证明、修正陈述、明确假设和依赖关系，以及对一项过时引用的修正”。

位于 Ithaca 的 Cornell University 数学系副教授 Alex Townsend 表示，错误级联到 OpenAI 的三篇手稿中并不令人意外。他说，他怀疑还会发现更多错误。

“鉴于数学界对 AI 的怀疑态度，我认为 OpenAI 应该首先公布那些经过 Lean 验证的手稿，”Townsend 告诉我们。他指的是 Lean，这是一种用于检查数学证明的开源programming language。“他们本可以为其他手稿另行发布公告，并寻求验证帮助。这对社区和公众来说会更加清晰。”

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

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

在 a post on X 中，该公司的研究主管 Dan Roberts 宣布了撤回消息，并写道 OpenAI 将“继续用新的形式化结果和我们注意到的任何勘误更新 repo”。

OpenAI 发言人告诉我们，该公司在 Advisory Group on Mathematics and Artificial Intelligence 的合作伙伴建议在不等待“完全形式化”的情况下发布结果，大约 50% 的结果在未经确认的情况下发布。

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

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

然而，Sutherland 强调，许多数学家对“OpenAI 迄今为止的行为感到不满”，特别是在其处理 Sept. 8 announcement 称 AI 系统已解决 Navier-Stokes problem 这一问题上，该问题探究描述气体和液体流动的系列方程是否会在某些点变得不可靠。