目前结论
OpenAI 的数学成果发布在数学界引发广泛震惊与不确定性，许多数学家认为其规模空前，评估需数年时间，相关辩论仍在持续。
进展时间线
4 次实质进展- #01
分享人工智能在数学领域的进展
OpenAI 在 GitHub 上公开了名为 openai/math 的代码仓库，其中包含由 OpenAI 内部模型生成的数学手稿及配套证明材料，并附有 Lean 形式化证明。内容涉及多个长期未解的开放问题，例如 Barnette 猜想和 Unique Games 猜想。 Hacker News 的评论者认为此次发布意义重大：有人指出 Unique Games 猜想是“计算复杂性理论中的奠基性猜想”，也是许多不可近似性结果所依赖的假设，若证明成立“是件大事”。另一位评论者表示，自己几个月前曾花大量时间用当时最先进的模型尝试攻克 Barnette 猜想，但未能成功。 一位评论者引用 proofatlas.ai 称，该清单声称完整解决了数学领域前 500 个开放问题中的 90 个，其中排名最高的包括有理数域上的希尔伯特第十问题、Unique Games、Anderson 模型扩展态、时空 Penrose 不等式以及 Landau–Siegel 零点不存在性。另一位评论者特别提到三台机器单位作业调度的多项式时间算法，该问题自 1979 年 Garey 与 Johnson 的书出版以来一直未解。上述细节均来自社区讨论，并非对证明的独立验证。
来源依据：OpenAI Blog · The Verge AI · QbitAI 量子位 · theblockbeats · theblockbeats
- #02
OpenAI 撤回三项数学成果
据 @danintheory 在 X 上发布的帖子及 openai/math 仓库的 history 文件，OpenAI 已从其数学仓库中撤回三项数学成果。该仓库收录由 OpenAI 内部模型生成的数学手稿及相关证明工件。 此次撤回使外界关注 AI 生成数学证明的可信度问题，尤其是那些以自然语言给出、而非附有可机器检验的 Lean 证书的成果。 openai/math 仓库共收录 722 篇手稿、分属 372 个成果系列，以 Apache-2.0 许可发布。其中部分证明包含可供计算机检验的 Lean 形式化内容，另一部分则没有。
来源依据：theemathas · sashank_1509
- #03
OpenAI、分拆原理与数学
Asaf Karagila的一篇博客文章批评OpenAI的数学发布及其对数学研究文化的影响，引发Hacker News上关于AI生成证明和数学家责任的辩论。
来源依据：md224
- #04
“纯粹疯狂”：数学家需要数年才能理解 OpenAI 的最新发布
The Verge 报道称，超过三十多位数学家将 OpenAI 的数学成果发布描述为规模空前，并表示需要数年时间才能充分评估。
此后状态：OpenAI 的数学成果发布在数学界引发广泛震惊与不确定性，许多数学家认为其规模空前，评估需数年时间，相关辩论仍在持续。
来源依据：The Verge AI