专题 · FULL STORY

AI 证伪 Siegel 零点：从震撼到精简

OpenAI 宣称其模型证明了排除 Landau–Siegel 零点的准黎曼假设，陶哲轩称之为 50 年来最大进展。消息引爆数学界对 AI 证明价值与可验证性的激辩，随后数学家又把证明从 199 页压缩至 5 页左右。

2026-10-17 ~ 2026-10-19 · 3 集 · 10 条

第 1 集 · AI 证明大定理引激辩：算不算数学进步(2026-10-17,3 条)

OpenAI 的 AI 生成数学证明能力引发关于数学未来与科学可靠性的大讨论：AI 已能攻克极难的数学问题，但当解复杂到连专家都难以验证时引发争议。@RedhaMoulla 批评精英学界「坚持否认」，指出几个月前证明重大定理还被视为菲尔兹奖级荣誉，如今却被说成「不算事件」；法国物理学家 Étienne Klein 则力挺哲学家 Barrau，称 AI 解决重大数学问题「毫无意义」「可悲的时刻」。

第 2 集 · OpenAI 宣称证明准黎曼假设，陶哲轩称 50 年来最大进展(2026-10-17,5 条)

OpenAI 于 10 月 6 日宣称其 AI 模型证明了准黎曼假设，即排除 Landau–Siegel 零点，并给出 199 页的证明，同时一次性发布了 700 多篇 AI 生成的数学论文，据称推翻了数百个长期悬而未决的问题。《Science》对此进行了报道，称这让数学界直面「没有哪道数学题是机器禁区」的现实，牛津数学家、菲尔兹奖得主等学者也卷入讨论。

已确认

  • 陶哲轩（Terence Tao）评价该成果为准黎曼假设课题「50 年来最大的进展」，指出证明得到了一个巨大的新的零点-free 区域，并用了非常巧妙的新技术。
  • 陶哲轩同时拆解认为，这一成果实际上是把三四个已有想法以极不寻常的方式组合而成。
  • OpenAI 发布 700 多篇 AI 生成论文、据称推翻数百个悬而未决问题一事由《Science》报道（转述帖）。
  • 数论学家 Hector Pasten 等学者对该证明给出高度评价，数学圈一度引发关于「人类数学家价值」的恐慌讨论（新智元帖转述）。
  • 宣称发布后的数天内至两周内，人类数学家连破多项相关难题（新智元帖转述）。

尚未确认

  • 199 页证明本身的完整性与正确性是否已通过数学界同行评审，帖子材料中未给出明确结论。

为什么重要

  • 若证明成立，这是黎曼猜想相关方向数十年来最重要的进展，也标志着 AI 在前沿数学研究中从辅助工具走向主力。
  • 事件同时引发数学界对人类数学家角色的反思，而人类数学家随后的快速回应也说明人类研究能力并未被取代。

第 3 集 · OpenAI 证「无 Siegel 零点」，后续证明被压缩至 5 页(2026-10-19,2 条)

OpenAI 发布仅 8 页的「无 Siegel 零点」证明（Banks 详细阐释版为 19 页），随后数学家 Kerr 和 Green 又分别将其压缩至 6 页和 5 页，速度之快令人惊叹。有讨论指出，许多悬而未决的数学难题对 AI 而言可能只是「留给有足够决心的读者的习题」，数学家所谓的「显然」从来是相对的，AI 正在改变难题的难度边界。