翻完OpenAI的722篇数学手稿，我们挑出了最重的30道名题
2026.10.07 · 事件 · AI事件 · 媒体报道
OpenAI公开722篇未发布模型数学手稿，覆盖17个方向372个成果族
OpenAI将内部模型产出的722篇数学手稿一次性放上GitHub，归入372个成果族，覆盖数论、几何、理论计算机等17个方向。清单中既有证明也有证伪，约六成附有Lean形式化，但绝大多数尚未经过同行评审。
- 722篇手稿归入372个成果族，覆盖17个方向
- 约50个成果族涉及证伪或反例
- 约六成成果族附有Lean形式化
- 涉及准黎曼猜想、BSD猜想、唯一游戏猜想等名题
- 所有结论均为OpenAI自称，多数未经同行评审
为什么值得看
快速了解OpenAI内部模型在数学领域的成果清单与争议
适合谁关注
关注AI数学能力、形式化证明与前沿研究的读者