专题 · FULL STORY

OpenAI 证明兰道-西格尔零点，数学界震动

10 月 6 日 OpenAI 宣称证明准黎曼假设并连发 700 篇论文，陶哲轩称之为 50 年最大进展；随后 370 个证明上传 GitHub 引发热议，数学家将八页证明压缩至五页，3Blue1Brown 也发声探讨 AI 时代学数学的意义。

2026-10-17 ~ 2026-10-21 · 6 集 · 34 条

第 1 集 · 3Blue1Brown 论 AI 时代：现在是学数学的最好时机(2026-10-17,9 条)

10 月 17 日，3Blue1Brown(Grant Sanderson)发布视频《There's never been a better time to go into math》，对 AI 与数学的关系做了系统反思；次日 Hesamation 又放出与 Sanderson 对谈的 40 分钟完整访谈，进一步展开其观点。视频从数学系学生的普遍焦虑切入，先把「数学家在做什么、数学为何有价值、经费从哪来」逐一拆解列出，再据此推演：若 AI 能力继续增强，数学工作的哪些环节、价值和资助结构会发生变化。

已确认

  • 视频核心论点是「现在是有史以来进入数学领域的最好时机」：AI 让任何人都能以对话方式获取数学知识，评论区「我是数学博士，你只需告诉我要做什么」的留言正是写照；AI 可以代劳繁琐推导，把人解放出来。
  • 在 Hesamation 的访谈中，Sanderson 给出的理由是：数学界整体已意识到必须改变，大量资深学者正退后一步观察、寻求变革方向与范例，新人因此有机会参与这场变革。
  • 视频结构沿「数学如何运作→证明机器→猜想机器→理论(建构)」的脉络层层展开。
  • 视频评论区一条获 2.5K 赞的热评引发广泛共鸣：批评「AI 替你做数学后你可以去做别的」这种说法回避了核心问题——吸引人们进入数学和软件领域的，本是把它们当作艺术与手艺、靠解开难题「让自己不朽」的乐趣。
  • 这条热评引出的转发争论中，giffmana 转发链条呈现了另一方的观点：即使 AI 能做，人也可以纯粹因为喜欢而编程和做数学，不必事事追求生产力，反对「为保留人类用处而阻止大家享受」的思路。
  • joshwills 转发时补充指出，博士生的职业阵痛使这个问题不止「乐观」那么简单。

为什么重要

  • 这不是简单的「AI 会/不会取代数学家」站队，而是少见的把数学职业的价值来源与资助结构放到 AI 语境下逐项推演的公开讨论，对其他「手艺型」知识行业(如软件)同样有参照意义。
  • 热评的强烈共鸣(2.5K 赞)与转发者的补充显示，即便在认同 AI 工具价值的人群中，「手艺被夺走」的失落感和博士生的现实职业焦虑真实存在；同时「为乐趣而非生产力而学」的反方声音也在场，构成对乐观叙事的重要补充视角。

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

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

第 3 集 · OpenAI 宣称证明准黎曼假设并连发 700 篇论文，陶哲轩称 50 年最大进展(2026-10-17,6 条)

10 月 6 日，OpenAI 宣称其 AI 模型证明了准黎曼假设（即排除 Landau–Siegel 零点），并给出 199 页的证明；同日还一次性发布了 700 多篇 AI 生成的数学论文，据称推翻了数百个长期悬而未决的问题。《Science》对此进行了报道，称这让数学界直面「没有哪道数学题是机器禁区」的现实，牛津数学家、菲尔兹奖得主等学者也卷入讨论。事件一度引发数学界关于「人类数学家价值」的恐慌性讨论，但随后数天内至两周内，人类数学家连破多项相关难题。

已确认

  • 陶哲轩（Terence Tao）评价该成果为准黎曼假设课题「50 年来最大的进展」，指出证明得到了一个巨大的新的零点-free 区域，并用了非常巧妙的新技术（@jracine22、@basedjensen、@menhguin 等多条帖子转述其推文截图）。
  • 陶哲轩同时拆解认为，这一成果实际上是把三四个已有想法以极不寻常的方式组合而成。
  • OpenAI 宣称的系列成果中包含群论中悬置已久的 Thompson 群 F 顺从性（amenability）问题的解答；研究该问题 19 年的数学家 Justin Moore 撰文讲述个人感受，称「开酒像守灵不是庆祝」（nitarshan 转述帖）。
  • OpenAI 发布 700 多篇 AI 生成论文、据称推翻数百个悬而未决问题一事由《Science》报道（PolarBearby 转述帖）。
  • 数论学家 Hector Pasten 等学者对该证明给出高度评价，数学圈一度引发关于「人类数学家价值」的恐慌讨论（新智元帖转述）。
  • 宣称发布后的数天内至两周内，人类数学家连破多项相关难题（新智元帖转述）。

尚未确认

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

为什么重要

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

第 4 集 · OpenAI 公布 370 个数学证明，数学界陷入震动(2026-10-18,3 条)

OpenAI 将 370 个数学证明的解法发布到 GitHub 后引发数学界强烈反响。UT Austin 计算机科学家 Scott Aaronson 表示研究生们感到恐惧，因为 AI 已能直接解决他们本该用来训练的题目；他还称从未见过全球数学研究者集体放下手头工作去理解某一成果的时刻。Boston Globe 报道 MIT 学生与研究者也因此陷入「读数学还有什么意义」的混乱与自嘲式的存在危机。

第 5 集 · OpenAI 八页证明兰道-西格尔零点不存在，学界再缩至五页(2026-10-19,3 条)

围绕 OpenAI 对「兰道-西格尔零点不存在」的证明，数学界引发热议。OpenAI 原始证明仅 8 页（Banks 的详细阐释为 19 页），随后数学家 Kerr 和 Green 分别将证明压缩至 6 页和 5 页，新论文更将其简化成入门练习题级别的初等证明。有网友借此感叹，许多长期悬而未决的数学难题，对足够有决心（或算力）的求解者来说可能只是「留给读者的练习」。

第 6 集 · 3Blue1Brown：现在是学数学的最好时代(2026-10-19,10 条)

3Blue1Brown 作者 Grant Sanderson 发布视频《There's never been a better time to go into math》，系统分析 AI 快速进步对数学领域的冲击。核心论点是：即使 AI 在数学证明上全面强过人类，数学的价值也不会消亡，甚至可能迎来最好的时代。社会长远仍会珍视人类对复杂问题的理解，数学家依旧是有意义的职业，而剧变为年轻研究者重新定义这门学科创造了机会。视频获一线数学家背书传播，同时引发「数学正沦为新的人文学科」的争论。

已确认

  • 视频将数学研究拆解为多个组成部分（证明定理、提出猜想/问题、理论构建、应用理论等，量子位转述为五部分），逐一评估 AI 的冲击与人类剩余的优势。
  • 针对网友质疑，Sanderson 于 10 月 21 日进一步回应：目前 AI 周边各行各业对数学背景人才有看似「贪得无厌」的需求，且这一趋势短期内不太可能放缓；他同时承认数学技能是否可迁移值得再出一期更完整的视频。
  • 他还在争论中表示：如果观众得出的结论是「学数学只为热爱、无需考虑经济价值」，那说明他表达得不好；他认为人们为乐趣和娱乐的消费本身就构成经济价值，数学的其他价值也不会被 AI 消解。
  • 他推荐了 Rutgers 数学教授 Alex Kontorovich 与弗吉尼亚大学教授 Thomas Koberda 的长篇对谈《The Dialectical Theorem》，讨论 AI 时代数学家职业的走向。
  • 数学家 Alex Kontorovich 称自己极难完全认同他人观点（包括过去的自己），但对这条视频挑不出任何毛病，并表示会推给认识的每一位博士生和博士后。

尚未确认

  • 网友 Markus Baumann 提出质疑：「为热爱而学」听起来像是在数学沦为「新的人文学科」、失去经济价值和地位时寻找安慰，这一争议尚无定论。
  • 推友 Stocko 的解读较为悲观，认为视频呈现的是数学家的阵地（证明、提问、理论构建、应用）被 AI 逐一攻破，最终人类只剩「提出好问题」，这属于一家之言的解读而非视频结论。

为什么重要

  • 这是头部数学科普创作者对「AI 是否终结数学职业」这一焦虑的系统性正面回应，且由一线数学家背书传播，正在影响年轻研究者对职业选择的判断。
  • Sanderson 补充的「AI 产业对数学人才需求近乎贪得无厌」为数学的经济价值提供了新的实证角度。
  • 围绕「数学是否正变成新的人文学科」的争论，折射出 AI 冲击下基础学科价值重估的普遍焦虑，值得持续关注。