ARTICLE · 1137483

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

发布时间：2026-10-08 04:05:31 最近访问：2026-10-08 04:05:32

点击👇“LaTeX工作室” 关注公众号

精致科研生活从这里开始

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

没有提前预告，没有走传统学术期刊投稿流程，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-函数在实轴附近的异常零点），长久困扰着素数分布研究。

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

黎曼猜想临界带与 AI 最新突破对比：[ 0.5 临界线 ] ─────── (终极目标) ───────       │[ 0.875 (7/8) ] ─────── [ AI 成功推至此界限 ] ───────       │[ 1.0 实轴 ]    ─────── (消除西格尔零点) ───────

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

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

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

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

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

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

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

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

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

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

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

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