OpenAI发布722篇未解数学问题手稿次日撤回三篇预印本

OpenAI在发布722篇关于AI模型攻克数学难题的预印本论文后不到24小时，就撤回了其中三篇，原因是发现了一个符号错误。10月6日，该公司在GitHub仓库中一次性上传了这批论文，声称其内部AI模型在几何、计算机科学、代数等领域的372个数学问题上取得了进展，并将此举定位为“推动人类知识前沿、促进数学进一步发展”的努力。然而仅过了一天，OpenAI便宣布撤回三篇稿件，理由是其中存在一个符号错误——这个错误导致一篇论文的核心论证失效，另外两篇依赖该论证的论文也随之作废。每篇被撤回的论文都附有说明，解释“论证缺口”所在，同时OpenAI表示已对另外14篇论文进行了修订，包括修补证明、更正陈述、厘清假设和依赖关系，以及修正一处过时引用。 一个符号错误就连带三篇论文，这在数学界并不令人意外。康奈尔大学数学系副教授Alex Townsend表示，他预计后续还会发现更多错误。他直言，鉴于数学界对AI的普遍怀疑态度，OpenAI本应先公布那些已经通过Lean（一种用于验证数学证明的开源编程语言）验证的论文，再单独发布其余部分并公开请求协助验证，“这样对学界和公众都更清晰”。OpenAI发言人回应称，错误是在内部审计中发现的，并强调研究论文的迭代过程本就如此，公司欢迎数学界的审查和反馈，发现错误会及时更正，无法修复则撤回。该公司研究负责人Dan Roberts也在X上发文，承诺将持续更新仓库中的形式化验证和勘误内容。OpenAI方面还透露，其合作方“数学与人工智能咨询小组”曾建议不必等待“完全形式化”即可发布成果，因此约50%的结果是在未经确认的情况下公开的。 这一事件之所以引发关注，与OpenAI此前在数学传播上的争议密不可分。麻省理工学院数学系高级研究科学家Andrew Sutherland表示，他认可OpenAI发现错误后迅速行动是“负责任的做法”，但强调许多数学家对OpenAI至今的表现“并不满意”，尤其是9月8日该公司宣称AI系统解决了纳维-斯托克斯问题（该问题探究描述气体和液体运动的方程组是否会在某些条件下失效）时的处理方式。当时一批顶尖数学研究者批评OpenAI仓促发布，未给学界留出撰写正式论文、提炼新方法和引用前人工作的时间，已有超过8000名研究人员联署表达不满。Sutherland坦言，撤回和更正会被数学界视为积极信号，但要重新赢得信任，OpenAI需要做的远不止这些。