2026 年 10 月，OpenAI 在 GitHub 公开了一整包数学手稿，一共 722 篇，覆盖 372 个数学问题。其中最受关注、最出圈的，当属这篇《准黎曼猜想》。
很多标题党直接喊 “AI 证明了黎曼猜想”，其实不对。但如果说这是黎曼猜想提出 160 多年来，人类在这个方向上拿到的最强结果之一，并不夸张。
一、先补个最小白的背景：黎曼猜想到底在说什么？
先看一张示意图，一秒搞懂所有核心概念：
图 1 黎曼猜想核心概念示意图：所有有意义的零点都被限制在灰色 “临界带” 内，黎曼猜想断言它们全落在中间的红色 “临界线” 上
黎曼猜想的核心，是研究一个叫黎曼 ζ 函数的东西。你可以把它理解成描述素数分布的 “函数密码”—— 这个函数等于 0 的那些点（叫零点），直接决定了素数在自然数里的分布规律。
这些零点分两种：
-
左边负半轴上的 – 2、-4、-6…… 这些叫平凡零点，位置固定，没什么悬念，数学家根本不关心。
-
真正重要的是灰色长条里的非平凡零点，它们的位置直接关系到素数的分布规律。
这个灰色长条就叫临界带，范围是 “实部在 0 到 1 之间”。黎曼猜想说的就是：所有这些有意义的零点，全都整整齐齐排在临界带的正中间那条红线上 —— 也就是实部等于 1/2 的地方，这条线也叫临界线。
一百多年来，数学家干的事，本质上就是在这个长条里 “扫雷”：一点点证明哪些区域肯定没有零点，不断缩小零点可能藏身的范围。
二、这次的 “准黎曼猜想”，到底证明了什么？
先上对比图，直观感受这次突破有多大：
图 2 无零点区域对比：此前人类只知道靠近实部 1 的尖三角区域没有零点，这次直接切出了一整条竖条禁区
先说结论：它没有证明黎曼猜想，但它把临界带的右边一大块，彻底划为了 “零点禁区”。
具体来说：
-
它证明了：对于黎曼 ζ 函数，以及所有更一般的狄利克雷 L 函数，只要实部大于 7/8（也就是 0.875），就绝对不存在任何非平凡零点。
-
顺带还排除了困扰学界近百年的 “朗道 – 西格尔零点”—— 一种大家一直担心可能藏在实部接近 1 的地方的特殊异常零点。
这个结果牛在哪？
在这之前，人类也知道 “越靠近实部 1 的地方，越不可能有零点”，但那个安全区域是越往上越窄的，像一个尖三角形，没有固定宽度。学界本来觉得，能把这个尖儿稍微拓宽一点，就已经是重大突破了。
而这次直接给出了一条固定宽度、无限延伸的竖条禁区—— 只要实部超过 0.875，不管虚部多大，都不可能有零点。这是人类第一次拿到这样的 “常数界” 无零点区域。
打个比方：原来我们只知道山顶上肯定没有雷，但越往下越不确定；现在我们直接画了一条海拔线，线以上整片山区都肯定没有雷。
三、这个成果分量有多重？
如果这个证明最终被人类数学家验证成立，那它就是解析数论领域半个世纪以来最重大的进展之一。
两层核心意义：
-
直接推进黎曼猜想：把零点可能存在的范围，从 0\1 直接压缩到了 0\0.875，往前推了一大步。
-
扫清数论的 “隐忧”：很多数论定理前面都要加一句 “假设朗道 – 西格尔零点不存在”；如果这次的证明成立，这个前提就可以去掉了，一大批定理的根基会更扎实。
罗格斯大学的数论权威 Alex Kontorovich 的评价很有代表性：“如果这是人类数学家做出来的，直接拿菲尔兹奖，毫无疑问。”
四、学界都是什么态度？远不是一边倒的叫好
这件事真正的争议，其实不在 “结果对不对”，而在 “怎么发布的” 以及 “到底有多少价值”。目前学界大致分成三派：
1. 惊叹派：这是实打实的突破
以 Alex Kontorovich 为代表的一批数论学者，首先表达了震惊。他们的核心判断是：这个结果的强度，远超当前领域的预期。哪怕最后发现有小漏洞，这个证明思路本身也很可能带来新的研究方法。
2. 谨慎与质疑派：节奏太快，不符合学术规范
这一派的代表人物是陶哲轩等多位菲尔兹奖得主。他们的质疑主要集中在两点：
-
发布方式太粗暴：一次性扔出几百篇手稿，没有传统的同行评审，缺少完整的学术引用，很多证明过程写得非常晦涩，人类很难跟上背后的思路。数学研究不只是 “得到答案”，更要 “理解为什么”。
-
Lean 验证不是万能的：很多人说 “这篇证明过了 Lean，所以逻辑没问题”。但实际上，Lean 只能检查 “给定前提之下，推导步骤有没有矛盾”，它不能判断前提本身对不对、有没有偷换概念、自然语言描述和形式化代码说的是不是同一件事。
而且这批手稿发布后，已经有 3 篇被撤回、14 篇被修订，说明确实存在错误，这也让大家对最重磅的这篇多了一份谨慎。
3. 主流中立派：先别急着下结论，慢慢验
绝大多数数学家的态度是：这是一个非常有价值的候选证明，值得花时间认真去检验，但现在就说 “已经证明了准黎曼猜想” 还太早。
数学结论的生效，从来不是看谁发出来了，而是看整个领域的专家逐行啃完、挑不出毛病了，才算数。这个过程，可能要数月甚至数年。
五、通俗讲讲：这个证明大概是怎么做到的？
严格的证明非常技术化，即使是数论专家也要啃很久。这里说个最粗略的思路：
证明 “某个区域没有零点”，常用的是反证法：先假设这里有一个零点，然后推导出矛盾，从而证明假设不成立。
这次的证明大概走了这么几步：
-
把 “函数有没有零点” 这个问题，转化成了一种类似 “能量估计” 的问题 —— 如果某个位置有零点，就会对应产生一个特定的 “信号能量”。
-
构造了一套新的不等式工具，对实部大于 7/8 的区域做了非常精细的估计，证明这个区域里的 “能量” 根本不足以支撑一个零点的存在。
-
这套方法同时适用于所有狄利克雷 L 函数，所以顺便把朗道 – 西格尔零点这种可能的 “特例” 也一起排除了。
最后说句实在的
这篇论文真正的标志性意义，从来不是 “AI 证明了黎曼猜想”。
它真正的意思是：AI 已经可以在纯数学的最前沿，交出一份让顶尖数学家不得不停下手里的活、认真去核验的候选证明。这在以前是从来没有过的。
至于这个结论到底对不对、最终能不能被学界承认，答案还得人类数学家自己说了算。