AI公布准黎曼猜想结论：实部>7/8无零点，这突破究竟有多大？

2026年10月7日，OpenAI用一个未公开的内部模型批量生成并公开了722篇数学手稿，归为372组成果，其中编号第003组的结论是：黎曼zeta函数以及所有狄利克雷L函数，在复平面实部大于7/8的整片区域内，绝对不存在任何非平凡零点。

这则消息最核心的冲击力，不在于它"证明了一个猜想"，而在于它把一百多年来人类数论学家拿着放大镜一寸寸侦查的"零点禁区"，一夜之间从一条贴着1号线的极窄焦土，推进到了7/8这条稳稳的固定边界。

社交媒体上流传的该数学突破相关爆料推文

要理解这个跨越的地理学意义，你需要先把黎曼zeta函数的复平面想象成一片大陆。

黎曼zeta函数的非平凡零点，全部位于实部0到1之间的带状区域——这是一条南北向无限延伸的狭长大陆，学名叫"临界带"。黎曼本人在1859年猜的是，所有的零点都精确地挤在这片大陆的正中线（实部=1/2）上。

160多年过去了，人类没能证明这个终极猜想，于是退而求其次，去寻找"准黎曼猜想"——也就是证明零点绝对不可能出现在大陆右半侧的某片区域内。如果能证明从某条竖线往右直到1号海岸线，整片区域寸草不生、干干净净，这就是一场胜利。

而此前的战况是：人类最好的进展，也只证明了在极端贴近右边海岸线（实部≈1）的极窄边缘地带没有零点。更要命的是，这道"已知的安全区"还不是固定的——随着你往北走、虚部不断增高，这道已知的无零点区域会被越压越窄，像一条被潮水不断侵蚀的沙堤。

数学家甚至无法排除这样一种恐怖的可能性：在实部大于0.99的竖直带状区域内，依然藏着某个反常的零点。

用地理类比来说：黎曼猜想悬赏的目标是证明"零点全住在1/2的正中线上"。人类此前的准黎曼成就，相当于只证明了在大陆最右侧1号海岸线的沙滩上目前没发现零点，而且越往北这个沙滩就越窄、一脚就能跨进未知。

OpenAI这次干的事，是直接在内陆7/8的位置画了一道铁墙，宣布这道墙往右直到海岸线的全部领土，都是零点禁区——这道墙不随北移而收窄，是一条固定宽度、无限延伸的"零点无人区"。

OpenAI发布的准黎曼猜想相关论文首页

罗格斯大学数学教授Alex Kontorovich在看到这份手稿后的反应，精准描述了这场跨越的幅度。他原以为，此前人类能把贴着1号线的无零点沙滩往内陆稍微拓宽一点，就已经是重大突破。但OpenAI给出的不是拓宽，是直接在7/8处劈出了一道悬崖。

"如果这是人类做出来的，立刻就是一枚菲尔兹奖，毫无疑问。"他随后又补充了一句："应该是两个菲尔兹奖。"

数学家Alex Kontorovich发文评价该突破的量级

从这个视角来看，这场成果的实质，不是某种算法的炫技，而是一次"尺度"上的暴击。

人类一百多年的数论推进，是在一片布满暗礁的迷雾大陆里，拿着手电筒一寸一寸地往前摸；而AI用不到两周的时间、平均每个成果消耗约3小时ChatGPT Pro算力的代价，直接在这片大陆的纵深腹地插下了界碑。

而从学术界对这次发布方式的反应来看，这场突破引发的不是狂喜，而是焦虑、戒备与尖锐撕裂。

这种焦虑的核心，不在于"AI解出了一道数学题"，而在于发布方式和节奏彻底颠覆了学术生态。传统上，一个证明的诞生需要经过漫长的同行评审、学术报告、专题研讨，被数学共同体逐步理解、消化、融入知识体系。

OpenAI一次性倾倒722篇手稿、跨越17个数学分支，得克萨斯大学奥斯汀分校的几何分析学者弗朗切斯科·马吉在社交媒体上发出了充满无奈的感叹："此前纳维-斯托克斯方程的AI证明就让全球专家埋头钻研很久仍未完全理解，现在涌出几百篇，全世界的数学家就算不吃不喝，又哪来那么多精力去逐字逐句研读。

由9位国际顶尖学者组成的数学与人工智能独立顾问组（AGMAI）在10月7日当天迅速发表声明，承认这是数学史上的重要时刻，但同时明确表示：顾问组此前的交流建议绝不代表学术界已背书这批手稿中的所有结论，更不代表认同这种"简单粗暴的成果产出与倾倒方式"。

人类数学协会（AHM）则在声明中措辞更为激烈："一次性发布700多份文件不是学术展示，而是权力展示。"

10月8日，一个细小但意味深长的反转加速了怀疑的蔓延：OpenAI从GitHub仓库中撤回了3篇手稿，原因是其中一篇在一处关键论证中把一类几何操作的符号记反了——+1写成了-1，连锁导致三篇论文的论证失效。

康奈尔大学数学副教授Alex Townsend的评论一针见血："一个错误连锁导致三篇手稿出问题并不令人意外，还会发现更多错误。"这一事件恰好落在了一个脆弱点上：撤回的内容都落在没有Lean形式化把关的部分。

把这两个视角摆在一起，这场事件的张力就清晰了。从数学成果本身的层面看，准黎曼猜想从一条贴着1号线的沙滩被推进到了7/8的固定纵深，这确实是解析数论半个世纪以来最具颠覆性的一步跨越。

伦敦玛丽女王大学数学家Abhishek Saha将372组成果分为四档，绝大多数落在"第二至第三档"——任何一个数学家做出一两个就足以功成名就；而准黎曼猜想相关成果是其中唯一一个第四档，即"远超人类当前能力的突破级"。

但从科研生态的层面看，同一件事的叙事是倒过来的：这批成果由外界无法访问的专有模型生成，其逻辑链条是否能被人类理解、能否被融入现有知识体系，全部是悬而未决的未知数。

Meta AI和同济大学DeepMath团队同期产出的数学突破也表明，这一级别的能力并非OpenAI独有——但OpenAI选择了最激进的公开方式，越过了其他同行仍在遵守的学术发布节奏。

目前主导这场事件的核心变量，已经从"技术能不能"转向了"学术共同体怎么办"。截至当前，对准黎曼猜想证明的具体逻辑步骤，尚未出现完整的核验或证伪。其最终可靠性、对人类数学的真正价值，仍需对应细分领域的学者耗费漫长时间独立研判。

菲尔兹奖得主陶哲轩近日转发了人类数学协会的抵制声明，本质上是对一种发布逻辑的拒绝——当证明不再稀缺，稀缺的是看得懂的人。