OpenAI 在 GitHub 发布 372 项 AI 数学成果，从四维挂谷猜想到黎曼猜想

2026 年 10 月 6 日，OpenAI 在一个 GitHub 仓库 中发布了一大批数学成果（美东时间 18:00，即太平洋时间 15:00）。据 The Verge 报道，其中包含 722 篇手稿，归为 372 个成果族，全部由一款 尚未发布的前沿模型 生成。

主要说法

• OpenAI 称，每项成果都 解决或实质性推进 了数学或理论计算机科学中的一个开放问题。
• 据《科学美国人》报道，亮点包括声称解决了 四维挂谷（Kakeya）猜想、改进若干重要计算机算法，以及在 黎曼猜想 上取得进展。
• 许多 证明已在证明验证语言 Lean 中通过检验，因此几乎可以肯定正确；其余成果需要数学家花数月时间评估。
• OpenAI 发言人对《科学美国人》表示，几乎所有成果都来自 交给单个 AI 智能体的单个提示词（同时承认部分成果可能尝试了多次）。相比之下，此前的纳维–斯托克斯成果由 1 万个智能体 组成的”集群”完成，耗费数百万美元算力。The Verge 援引 OpenAI 的说法称，“平均每项成果”耗用的算力约相当于 ChatGPT Pro 思考三小时。

批评

OpenAI 于 9 月召集的独立数学家顾问小组建议，每项成果都应公开 模型、确切提示词和计算时间。OpenAI 只公布了 平均 计算时间和部分统计数据——没有提示词——并表示不受这些建议约束。麻省理工学院数学家 安德鲁·萨瑟兰 对《科学美国人》说：“我们应该要求拿出凭据。“多伦多大学的丹尼尔·利特欢迎此次发布，而陶哲轩此前批评 AI 实验室发布成果的速度”疯狂”。

提示： 以上为 OpenAI 的说法；对未经 Lean 形式化的成果的独立核查才刚刚开始。