OpenAI发布722篇AI数学手稿后撤回3篇

据ZDNet Korea报道，OpenAI于10月6日发布了722篇由AI辅助完成的数学研究手稿。随后，因发现错误，OpenAI在一天内撤回了3篇手稿。

OpenAI表示，其中一篇手稿在计算中使用了错误的符号，导致基于该手稿的另外2篇也被撤回。此外，OpenAI对14篇手稿进行了修订，以补充证明或修正说明。

此次研究使用了OpenAI一款未发布的专有AI模型。该AI尝试了约4000个问题，涵盖代数、数学逻辑等领域。在剩余的719篇手稿中，有300篇（约42%）准备了Lean计算机验证。只有10项研究发布了完整的解题过程摘要。

剑桥大学和伦敦国王学院的研究人员在一项纳维-斯托克斯方程研究中，发现OpenAI的书面证明与Lean代码之间至少存在两处不一致。普林斯顿高等研究院的独立数学与AI咨询小组为OpenAI提供了建议，但未批准研究结果或发布方式。

此前在2025年10月，OpenAI曾声称解决了与纳维-斯托克斯方程相关的一个问题。此次撤回和修订事件引发了数学界对AI辅助数学研究结果可靠性的质疑。