OpenAI 一夜甩出 722 篇数学手稿：准黎曼猜想被攻克，数学家集体失眠

一夜之间，整个纯数学与理论计算机圈子陷入巨大震动与激烈争论。

没有提前预告，没有走传统学术期刊投稿流程，OpenAI 直接在 GitHub 悄然上线重磅开源仓库 openai/math。

722 篇数学手稿，一口气砸向全网，覆盖 372 个长期悬而未决的重大数学难题家族。

其中最重磅的成果，莫过于内部 AI 模型给出了准黎曼猜想的严格证明，并附带了 Lean 形式化验证。

ζ(s) 零点分布与朗道 - 西格尔零点排除示意：
Re(s) = 7/8 ───┤ [ AI 攻克无零点区域 ] ├─── Re(s) = 1 (实轴)
               └── 成功消除百年“幽灵”零点 ──┘

一旦论证通过同行的交叉核验，这不仅是数论领域的历史性飞跃，更是人工智能作为科学发现引擎的绝对里程碑。

据 OpenAI 披露，这批重大难题的证明工作，全由未对外发布的自研模型独立完成，单份成果平均仅消耗约 3 小时 ChatGPT Pro 级别的算力。

OpenAI 首席执行官奥特曼在 X 平台发文感慨：“人类正式踏入全新的科学发现纪元。”

密室会议与“学术截胡”：暗流涌动的信仰崩塌

消息一出，舆论两极分化，不少顶尖数学家直言难以接受。这场震撼全网的 AI 数学大爆发背后，OpenAI 与全球数学界的矛盾早已暗流涌动。

据《连线》（WIRED）杂志报道，早在今年 8 月，OpenAI 就曾秘密邀请 40 位国际顶尖数学家举行闭门座谈。

会上抛出了一个直击灵魂的议题：倘若 AI 在纯数学研究上全面超越人类，学术界该如何应对？

彼时 OpenAI 便隐晦透露，内部模型已攻克上百个遗留多年的数学悬案。西北大学数学家 Bryna Kra 回忆那场会议时感叹：“现场交织着难以抑制的激动，和挥之不去的恐惧。”

参会学者曾恳切劝告 OpenAI：不要像网络网红一样凭社交平台官宣，应当遵循学术惯例刊发严谨论文，留给学界充分时间推演、审阅。

可如今 OpenAI 选择直接批量“打包”公开手稿，跳过传统审稿流程，甚至抢先完成纳维 - 斯托克斯方程（Navier-Stokes）相关突破，被不少学者指责为“学术截胡”。

纽约大学客座教授 Nestor Guillen 公开表达强烈不满：“在数学家眼中，科技巨头的这类操作近乎霸道。大家恐慌的根源不止 AI 本身，而是人类最高阶的智慧探索权，正在被少数科技企业寡头掌握。”

有 OpenAI 内部工程师私下表示：“古典数学的时代已然落幕，AI 势不可挡，或将改写绝大多数职业数学家的研究范式。”

北大数院校友、考普斯会长奖得主、OpenAI 研究员苏炜杰则评价：这代表人类对“智能”的理解，迎来如同哥白尼革命一般的范式巨变。

三大“核爆级”成果拆解

1. 准黎曼猜想获证，彻底铲除朗道-西格尔零点

在整套成果库中，编号 Result 003 的结论直接撼动了数论根基。

黎曼猜想被誉为数学皇冠上的明珠，现代数论成百上千条定理都建立在其成立的假设之上。而数论中还有一个百年“幽灵”——朗道 - 西格尔零点（Dirichlet L-函数在实轴 $s=1$ 附近的异常零点），长久困扰着素数分布研究。

这份 AI 手稿证明了准黎曼猜想：所有狄利克雷 L-函数在实部 $\Re(s) > 7/8$ 的整个半平面内不存在零点，直接根除了朗道 - 西格尔零点！

黎曼猜想临界带与 AI 最新突破对比：

[ 0.5 临界线 ] ─────── (终极目标) ───────
       │
[ 0.875 (7/8) ] ─────── [ AI 成功推至此界限 ] ───────
       │
[ 1.0 实轴 ]    ─────── (消除西格尔零点) ───────

虽然尚未抵达终极目标 $\Re(s) = 1/2$，但一次性拿到 $7/8$ 与 $11/12$ 两组固定常数无零点边界，并统一排除西格尔零点，已是解析数论近半个世纪以来未曾有过的巨大突破。

2. 理论计算机里程碑：摆脱 UGC 假设，划定 NP-Hard 边界

如果 P vs NP 是理论计算机的终极王冠，那 Result 102 号成果就是决定算法极限的无冕之王——解开 Basic-SDP（基础半定规划松弛）的 NP-Hard 难题。

芯片布线、物流调度、网络规划等现实优化问题均属 NP-Hard 问题，多项式时间内很难求得最优解。2008 年 Prasad Raghavendra 证明 Basic-SDP 是此类问题的近似极限，但该结论前提是“唯一游戏猜想（UGC）”成立。如果 UGC 不成立，近 20 年的算法理论大厦就会动摇。

二十年来，无数学者梦寐以求：能不能脱离 UGC 假设，仅仅基于经典 $P \neq NP$，无条件证明 Basic-SDP 阈值间隙本身就是 NP 困难？

AI 搭建了完整的证明链路：

1. 破除信息泄露： AI 发现经典 PCP 证明中张量表示会泄露坐标。为压制泄露，AI 放弃平滑函数，在特征 2 有限域上搭建全新代数核心，构造具移位等变性的非线性解码器。
2. 压低统计误差： 选用极低概率稀疏投影，搭配原创“行纤维丰富度引理”，杜绝局部切片上的作弊空间。
3. 无损传递间隙： 无条件构造具极高完备性与极小可靠性的 Unique Games 困难性，接入独裁者测试，将间隙无损传递给所有有限约束的 Basic-SDP 阈值。

最终，AI 在彻底摆脱 UGC 假设的前提下，永久划定了多项式近似算法的理论边界。

3. 霍奇猜想撕开重大缺口

Result 01 手稿针对七大千禧年难题之一的霍奇猜想交出重磅答卷：完整证明了复数域 CM 复乘阿贝尔簇在全部维数与余维数上的有理霍奇猜想。

AI 攻克霍奇猜想的突破路径：

  ┌────────────────────────┐
  │ 锁定 CM 阿贝尔簇 / K3 曲面 │ (转化投影：避免直接强攻全部流形)
  └───────────┬────────────┘
              ▼
  ┌────────────────────────┐
  │  Kuga-Satake 对应代数化  │ (将超越上同调嵌入阿贝尔簇二阶上同调)
  └───────────┬────────────┘
              ▼
  ┌────────────────────────┐
  │   退化与变分延拓代数传导   │ (证明霍奇类可在有理域被代数闭链张成)
  └────────────────────────┘

此外，AI 还将结论拓展至射影复 K3 曲面任意有限乘积，顺带证明了有限域上阿贝尔簇的泰特猜想（Tate Conjecture）及任意特征下的霍奇标准猜想。

更多被突破的经典难题

除了上述三大成果外，OpenAI 放出的代码库中还包含大量数论与凸几何的重磅结论：

• Result 007（乘法函数两点相关性）： 证明普通两点 Chowla 猜想，获得对数幂次误差节约，直指 Chowla 与 Elliott 猜想核心。
• Result 087（马勒猜想）： 在全部维度同时解决对称与非对称版本的马勒猜想（Mahler's Conjecture），完成了 Hanner 多胞形、单纯形等式成立条件的完整分类，彻底结束凸几何数十年悬案。

古典数学走向落幕？人类将何去何从

过去，人们普遍认为 AI 在数学领域仅能做基于海量数据的模式匹配与符号整理。

但这 722 篇手稿展现出了全新的范式：里面充斥着人类研究者极其看重的构造思路、直觉推演、拉普拉斯展开，甚至借鉴了热流、哈密顿系统等物理直觉。

AI 不再只是套用既有的公式框架，它已开始自主生成全新的“数学直觉”。

面对 3 小时就能产出顶尖数学成果的硅基智能，人类数学家该何去何从？

西北大学数学家 Bryna Kra 给出了一个温和却深刻的回答：

“我们必须学会适应。它改变了我们做研究的方式，但同样也让我们望向更远的地方…… 这是令人恐惧的时代，也是无比激动人心的时代。”

数百个尘封多年的定理证明，如今正以数据流的形式躺在 GitHub 仓库里。

古典数学的旧时代或许正在缓缓落下帷幕，但在硅基智能的加持下，人类探索真理的宇宙飞船，才刚刚扬帆起航。

此时此刻，全球数学界，无人安眠。

整个 论文 PDF 获取

地址：https://github.com/openai/math

网盘链接：https://pan.quark.cn/s/76f5a060518c