一句话结论：OpenAI 于 10 月 6 日公开 722 篇数学论文，涉及 17 个数学方向的约 4000 个问题，三大千禧难题均取得实质进展，但菲尔兹奖得主明确表示「验证不等于认可以及是否代表证明需要更长时间判断」。
OpenAI 于 10 月 6 日公开一批内部前沿模型的数学研究成果。这批手稿共 722 篇，分为 372 组，覆盖约 4000 个研究问题，分布于 17 个数学方向。平均每项结果消耗的算力约等于 ChatGPT Pro 思考 3 小时。论文 PDF、源代码与部分 Lean 形式化证明已上传至 GitHub 仓库 openai/math，另有 10 份模型推理摘要一并发布。
三大千禧难题：黎曼、霍奇、BSD 猜想均有涉及
这批手稿最引人关注的是对千禧大奖难题（Millennium Prize Problems）中三个问题的推进。
黎曼猜想方面，OpenAI 证明 ζ 函数在实部大于 7/8 区域无零点——此前数学家最好的结果是 0.99 的整条临界带。实部大于 7/8 区域的零点是至今未被触及的盲区。另有独立证明给出实部大于 11/12 的更强结论，同时排除了困扰数学界近百年的「西格尔零点」。
BSD 猜想（贝林-斯温纳顿-戴雅猜想）方向，研究针对满足 Selmer 余数为 0 或 1 条件的椭圆曲线，给出了完整公式。这一方向此前长期停滞。
霍奇猜想方面，则覆盖具有特殊乘法结构的阿贝尔簇与 K3 曲面两类对象的估计。
此外，π 的无理性指数被压至理论最优值 2（此前为 7.1），同时给出了卡塔兰常数无理性的首个证明。
菲尔兹奖得主：不代表认可，证明需时
九位学者的独立评审组当天即发表声明，明确表示「不代表认可这些结果，也不代表认可 OpenAI 产出结果的过程」。三位菲尔兹奖得主均列名其中：
- Timothy Gowers（2012 年菲尔兹奖，剑桥大学）
- Martin Hairer（2014 年菲尔兹奖，帝国理工学院）
- Edward Witten（1990 年菲尔兹奖，普林斯顿高等研究院）
德国慕尼黑大学数学家 Francesco Maggi 在社交媒体评论：「9 月那份流体力学证明专家们至今还在研究，一下再来数百篇，谁有精力读？」2013 年菲尔兹奖得主 Cédric Villani 的措辞更为直接：「简报跟世界末日一样，这是数学界有史以来从未见过的浩劫。」
开源与形式化：GitHub 含部分 Lean 证明
论文 PDF、源代码与部分 Lean 形式化证明已上传 GitHub 仓库 openai/math，10 份模型推理摘要也已公开。OpenAI 表示将出资举办研讨会，协助数学界消化这批成果。
Lean 形式化证明的意义在于：一旦通过验证，可以完全排除人为疏漏。这意味着即便菲尔兹奖得主暂时无法判断，形式化证明也能提供独立的、可机器验证的正确性判断。
为什么 AI 做数学值得追踪
这批结果与 10 月 4 日闪点提到的「何恺明团队 NAT-ARC 论文」（用 ImageNet 预训练让视觉模型逼近 LLM 水平）性质类似：AI 正在从「辅助工具」变成「研究主体」。
与 OpenAI 安全团队动荡（System Card 负责人 David Robinson 离职）形成对比的是：同一机构内部，前沿模型已在数学研究上产出可验证的实质进展。数学证明的「可验证性」为这类结果提供了天然的安全边际——只要 Lean 形式化通过，争议自然消散。
数据对比：三大千禧难题的进展程度
| 猜想 | 问题描述 | 本次进展 | 关键数字 |
|---|---|---|---|
| 黎曼猜想 | ζ 函数所有非平凡零点实部为 1/2 | 实部 > 7/8 区域无零点 | 此前：实部 > 0.99；本次：实部 > 7/8 = 0.875 |
| BSD 猜想 | 椭圆曲线 Tate-Shafarevich 群与 L 函数关系 | Selmer 条件为 0/1 时给出完整公式 | 372 组手稿 / 4000 问题 / 17 方向 |
| 霍奇猜想 | 代数簇上特定子结构的代数性 | 覆盖阿贝尔簇与 K3 曲面两类对象的估计 | 阿贝尔簇 + K3 曲面 |
| π 无理性指数 | 证明 π 是无理数并估计无理性程度 | 指数压至理论最优值 | 2（此前：7.1） |
常见问题
Q1：OpenAI 宣称解决了千禧难题，是否意味着数学家们失业了？
短期内不会。菲尔兹奖得主们明确表示「验证不代表认可」，三位顶级数学家的共识是需要更长时间才能判断这是否构成正式证明。数学证明的接受需要同行评审，而本次结果刚刚公开。
Q2：Lean 形式化证明是什么，与普通数学证明有何不同？
Lean 是由微软研究院开发的证明助手语言。一旦数学证明被形式化为 Lean 代码，可由程序完全验证正确性，排除人为疏漏或逻辑漏洞。OpenAI 已在 GitHub 仓库中附上部分形式化证明，这是本次结果最具技术价值的地方。
Q3：OpenAI 为什么要公开数学研究而不专注于 AI 产品？
数学证明具有天然的可验证性——结果要么对要么错，不存在「AI 幻觉」的空间。这为前沿模型的输出质量提供了客观检验标准，是 OpenAI 向学术界证明其模型可靠性的战略动作。
小结
OpenAI 一次公开 722 篇数学手稿，三大千禧难题均有所推进：黎曼猜想突破至实部大于 7/8 区域无零点、BSD 给出 Selmer 条件完整公式、霍奇猜想覆盖两类对象。这批结果体量空前，但菲尔兹奖得主的谨慎态度意味着社区接受仍需时间。GitHub 仓库附带的 Lean 形式化证明提供了机器可验证的路径，是判断最终正确性的关键。
相关阅读
- OpenAI「疯狂28天」首日翻车：GPT-6提速50TPS，500美元套餐额度仅多21%
- OpenAI联手Ironclad发布GPT-6合同评测：得分55%胜GPT-5.6，任务耗时减半
- 丘成桐论文致谢ChatGPT和Claude：44年前几何猜想获突破，态度三年反转
延伸阅读
- OpenAI 推训练安全新规：高官手握否决权，警报超时自动停训1 周前
- OpenAI「疯狂28天」首日：GPT-6提速至50TPS，500美元套餐额度仅多21%2 天前
- OpenAI 发布 GPT-6.1 Sol：输入 $2/百万，逼近 Astra1 周前
- GPT-6 Astra 联手人类攻克 FrontierMath 九年悬题：AI 首摘重大进展级数学成果3 周前