OpenAI后再破广义黎曼 19年数论悬案告破

# OpenAI后再破广义黎曼 19年数论悬案告破 「事件时间：」 2026年10月17日（周六）Frei、Somos 与 Widmer 三人在 arXiv 公开题为 「Unconditional Ellenberg–Venkatesh bound for ℓ-torsion in class groups」 的论文；10月18日 36kr / 新智元 报道。 「事件主体：」 三位人类数学家（Christopher Frei、Gabriela Somos、Martin Widmer）/ 2007 Ellenberg–Venkatesh 数域类群 ℓ-挠界猜想 / OpenAI 准黎曼猜想无 Siegel 零点结果（10-06 历史突破） 「关键人物：」 加拿大数学家 Hector Pasten（数论学家，OpenAI 突破评论员）/ 数学社区 AxiomProver Lean 形式化贡献者 / OpenAI 数学团队 --- ## 事件摘要 2026年10月17日，Frei、Somos 与 Widmer 三人在 arXiv 上发布的最新论文，把 OpenAI 10月6日准黎曼猜想突破所释放出的 1/32 无 Siegel 零点安全区，「直接搬到了 2007 年 Ellenberg–Venkatesh 关于数域类群 ℓ-挠的经典界」，成功将该结果所依赖的「广义黎曼猜想（GRH）」前提彻底去除，「19 年悬而未决的代数数论核心难题被无条件终结」。论文末尾，三人留下一句冷峻注脚："We declare that no artificial intelligence tools were used in this work." 引发了数学界对「AI 破题-人类接力-再创历史」合作范式的热烈讨论。这是 10 月 6 日 OpenAI 准黎曼猜想突破之后，12 天内发生的第三次数论里程碑——前两站分别是 10月12日 Cureton 与 Thorner 把无零点结果扩展到 Hecke L-函数（1/6000 安全区），以及数学开源社区借助 AxiomProver Lean 形式化在数日内将常数极限压到 1/32。 ## 核心要点 ### 1. 19 年前 Ellenberg–Venkatesh「空中楼阁」被炸实 2007 年，Jordan Ellenberg 与 Akshay Venkatesh 给出关于数域 K 整体类群 ℓ-挠子群 |Cl_K[ℓ]| 的一个「极其漂亮」的渐近上界 h_ℓ(K) ≪_ε |disc(K)|^(1/2 + ε) [hℓ 上界 与 disc(K) 的 1/2+ε 次方成正比，任意小 ε]。但该证明「必须假设广义黎曼猜想（GRH）成立」——一个 1859 年提出至今未解的世纪猜想。一旦 GRH 出错，结论的"空中楼阁"性质使它立刻崩塌。19 年来，无数学者试图「抽掉 GRH 这根拐杖，让证明自己站起来」，全部失败，因为底层工具尚未出现。 ### 2. OpenAI 12 天内点燃三次数学海啸 10月6日：OpenAI 用自家模型暴力证明准黎曼猜想，并消除 Landau–Siegel 零点； 10月12日：人类数学家 Cureton 与 Thorner 抓住工具扩展到 Hecke L-函数，证明「所有有限阶 Hecke L-函数在 1-1/6000 右侧无零点」； 10月13~16日：数学界全网接力，用 AxiomProver Lean 形式化将 1/6000 极限压到 1/32——常数整整缩了 200 倍，安全区扩张百倍以上； 10月17日：Frei、Somos、Widmer 三人将这个 1/32 安全区「砸」进 Ellenberg–Venkatesh 2007 旧方程，曾经断裂的逻辑链条瞬间咬合，「19 年无条件证明出炉」。 ### 3. 主结果：2007 Ellenberg–Venkatesh 界被无条件化 Frei 等三人证明：对任意 ℓ≥1 以及任意数域 K，给定判别式 disc(K)，有 h_ell(K) ll_epsilon | ext{disc}(K)|^{1/2 + epsilon} 「无需假设 GRH」。这是 19 年来对这一悬案的首次完整无条件证明。论文同时给出 ℓ=3 的点态界强结果，将 S. Chan 与 P. Koymans 2025 年 arXiv:2505.00611 中关于 3-挠的未解决问题正面终结。 ### 4. 论文末尾的反差注脚："No AI tools were used" 三位作者在论证里没用任何 AI 模型，却直接依赖了 OpenAI 突破释放出的「无 Siegel 零点」安全区。这反映了「AI 数学时代人类数学家的新角色」：「AI 是开路机，数学家是工程师」——前者暴力拓荒出新定理的"道路"，后者用古典方法把道路铺成"高速公路"。数学社区把这个过程称为「数学的接力棒不再只属于纯人类」。菲尔兹奖得主、英国数学家 Tim Gowers 推文评价：「这是 AI 数学突破之后的第一篇真正具有教科书级别含义的接力论文」。 ## 行业影响 ### 1. 数学界进入「AI 拓荒-人类铺路」双轨时代 过去 5 年，AI 在数学里的角色更多是「证明验证器」（Lean）。但 10月6日 OpenAI 暴力证明准黎曼猜想，意味着 AI 已经能「直接发现和证明新数学定理」——这是数学家数百年来的看家本领。自此，「AI 暴力破解悬案 → 数学家接力证明相关推论」可能成为新的标准工作流。预计 OpenAI、Anthropic、Google DeepMind 接下来 6 个月内将公布更多「准黎曼猜想级别」的 AI 原创新定理。 ### 2. AxiomProver / Lean 形式化成为数学基础设施 10月13~16日的开源接力之所以能在数日内将常数极限从 1/6000 压到 1/32，是因为 AxiomProver（基于 Lean）的形式化证明工具让数学家「不再担心"人类直觉不可靠"」——每一处逻辑间隙都立刻被机器验证。Lean 在这次事件中的角色类似「数学界的 CI/CD」，意味着形式化数学已经从研究玩具变成数学发现流水线。预计 2027 年初一线的数论、代数几何论文将默认附带 Lean 形式化证明。 ### 3. 「19 年悬案级」成果的出现频率将提高 Ellenberg–Venkatesh 2007 论文被引 135 次，长期是代数数论方向基础工具；它的无条件化等于把一整片研究领域的「GRH 拐杖」抽掉了——任何使用过该结果的论文，都可能立刻获得更强的「无条件版本」。类似「GRH 依赖 → 无条件」的跃迁，预计在接下来 12 个月内将以月频率发生。 ## 总结 2026 年 10 月 6 日 OpenAI 准黎曼猜想突破释放出的"无 Siegel 零点"工具，经过 10 天全球数学社区接力（Cureton-Thorner→AxiomProver/Lean→1/32 极限），最终被 Frei、Somos、Widmer 三人砸进 2007 年的 Ellenberg–Venkatesh 悬案。「一个依赖 GRH 的 19 年数学猜想被无条件终结」。论文末尾那句「No AI tools were used in this work」并非贬低 AI，而是另一种致敬——AI 让数学家敢于挑战"GRH 这个没人敢惹的恐龙"，三人只是把恐龙搬离了道路。这场「AI 暴力拓荒+人类古典收官」的接力范例，将被写入 21 世纪数学史。 参考来源： - 36氪英文版 「After OpenAI, AI has once again cracked the Generalized Riemann Hypothesis」：https://eu.36kr.com/en/p/4031090627858820 - 36氪中文版（OpenAI之后，AI再破广义黎曼猜想）：https://eu.36kr.com/zh/p/4031090627858820 - 36氪移动版同题报道：https://m.36kr.com/p/4031090627858820 - 搜狐新智元全文转载《OpenAI之后再破广义黎曼猜想》：https://m.sohu.com/a/1089358389_473283 - X 平台 Oliver Korten 评论（10-06 OpenAI 突破相关）：https://x.com/KortenOliver/status/2109995579275362643 - X 平台 imjustnewatai 关于 Claude Fable 5.5 解释 199 页证明：https://x.com/imjustnewatai/status/2107615459822453187 - arXiv:2505.00611 「A new pointwise bound for 3-torsion of class groups」（Chan & Koymans 2025，3-挠点态界相关）：https://arxiv.org/abs/2505.00611 - Christopher Frei 个人主页（TU Graz 数论学家，本文共同作者）：https://www.math.tugraz.at/~frei/ - 数学茶馆社区讨论「OpenAI 在黎曼猜想问题上具体取得了多大进展」：https://chaoli.club/index.php/12327 - arXiv:1709.10137 「Bounds for the ℓ-torsion in class groups」（Widmer 2017 早期无条件上界）：https://www.alphaxiv.org/abs/1709.10137v1 - BAAI 智源社区「菲尔兹奖预测出炉」系列：https://hub.baai.ac.cn/view/56098 - Pandaily 英文对照版（OpenAI 10-06 准黎曼猜想回顾）：https://pandaily.com/openai-math-722-quasi-riemann-explained/