246→186，三天改写十二年数学史：AI 到底解决了什么？

一夜之间，数学圈被一组数字刷屏。 人类数学家苦苦坚守十二年的纪录 246，被 AI 在三天之内推进至 186。 是 AI 证明了百年孪生素数猜想吗？并非如此。 狂欢之下，我们需要冷静看懂这场突破：哪些是真实的进步，哪些是媒体制造的幻觉，AI 到底改变了数学家的工作方式。

9 月初，整个数论世界沸腾了。

一组冰冷的数字，在学术界、社交网络疯狂刷屏：246，变成了 186。

很多新闻标题写得激动人心：AI 攻克孪生素数猜想！百年难题迎来大结局！AGI 时代正式到来！

无数人转发、惊叹：人工智能已经可以替人类摘取数学皇冠上的明珠。

但拨开喧嚣，真相远比标题复杂：

GPT‑6 Astra 并没有证明孪生素数猜想。它只是把一道弱化命题的上界，从 246 压低到 186。

十二年，人类没能往前挪动一步；短短三天，AI 连续刷新三次世界纪录。

这场轰动的突破，究竟意味着什么？素数、筛法、形式化证明，这些晦涩名词背后，藏着数学研究未来的走向。今天，我们把这件事讲透。

01

什么是孪生素数？一个小学生都听得懂的百年猜想

素数，就是只能被 1 和自身整除的数字：2、3、5、7、11、13、17、19……

随着数字越来越大，素数会变得越来越稀少。

而孪生素数，就是相差恰好等于 2 的一对素数。

3 和 5，11 和 13，17 和 19，29 和 31，都是孪生素数。

孪生素数猜想：世界上存在无穷多对，相差等于 2 的素数。

简单一句话，困扰人类一百七十多年。

计算机可以验算，亿万级别的数字当中，我们依旧源源不断找到孪生素数。可是 “无穷多”，没有任何一台计算机可以验证。

一百多年，无数数学家耗尽心力，始终拿不出严谨的证明。

既然直接证明 “差值等于 2” 太难，数学家换了一条迂回的道路：

先不去硬啃等于 2，先证明：有无穷多对素数，它们之间的差距不会超过某一个固定数字 N。

N 越小，就代表我们距离孪生素数猜想越近。

2013 年之前，人类甚至无法证明：这个 N 是一个有限的常数。大家只知道，素数之间的平均间隔会越来越大，没有人敢确定，永远能找到挨得很近的素数对。

就在这时，张益唐横空出世。

02

从 7000 万到 246：一段人类数学家的接力史诗

2013 年，张益唐发表石破天惊的成果：

证明了存在无穷多对素数，两者之差，不超过 7000 万。

7000 万，距离 2 依旧遥不可及。但是在数学意义上，这是从无穷大到有限常数的历史性跨越。消息一出，震动整个全球数学界。

在此之后，全世界数学家开启接力赛跑。

（2022年菲尔兹奖获得者牛津数学家詹姆斯·梅纳德）

梅纳德、陶哲轩带领全球数学爱好者开展 Polymath 公开项目，不断优化筛法，把这个 N 值一路向下压缩：

7000 万 → 600 万 → 几十万 → 几百。

最终，人类将这个数字定格在了246。

所有人以为，我们会继续一路向下，向着 2 稳步靠近。

可现实是：246 这个数字，整整停留了十二年。

十二年光阴，顶尖数论专家不断钻研筛法，论文一篇篇发表，技巧持续迭代，却再也无法把 246 再往下推进一步。大家逐渐意识到：依靠现有的这套多维筛法，似乎遇到了一堵看不见的高墙。很多学者甚至悲观判断：沿着当前这套工具，很难继续取得进展。

十二年，纪录纹丝不动。

转折，发生在 2026 年 8 月底到 9 月初的短短三天。

8 月 31 日，牛津大学数学家 Julia Stadlmann 将上界由 246 更新至 240。

9 月 3 日清晨，AI 团队 Axiom Math 直接来到 212。

仅仅几个小时之后，OpenAI 公布结果：GPT‑6 Astra，把上界推进到186，并且完成 Lean4 完整形式化证明，开源全部代码与证明脚本。

人类 12 年止步于 246；AI 三天，一路冲到 186。

亲眼见证这一幕的北大 07 级校友、宾夕法尼亚大学苏炜杰教授，在社交平台写下一段广为流传的感慨：

我九岁的时候第一次听说孪生素数猜想。它优美简洁，张益唐先生的故事一直深深烙印在我心里。这是一个超现实的夜晚，我亲眼看见模型，把困扰人类许久的问题，向前推动了一大步。

全网狂欢就此拉开帷幕。但是我们必须冷静划清一条最重要的分界线。

⚠️ 重大误区：186 ≠ 证明孪生素数猜想。

GPT‑6 证明的命题是：

✅存在无穷多对素数，它们的差值≤186。

孪生素数猜想想要证明的命题是：

✅存在无穷多对素数，它们的差值 = 2。

把 186 降到 2，中间依旧横亘巨大的鸿沟。打一个通俗比方：

猜想要求我们证明，世界上永远有无穷多对身高差恰好 2 厘米的人。

而这次 AI 做到的，是证明：永远有无穷多对人，身高差距不会超过 186 厘米。

当然，186 比 246 更好。它代表我们把上限收得更紧，但是距离终极答案，还远远没有抵达终点。

03

AI 究竟干了什么？它没有发明全新数学，而是找到了人类漏掉的钥匙

很多人想象：AI 坐在书桌前，凭空创造一套前所未有的数学理论，一举突破难题。

事实并非如此。

GPT‑6 Astra 完全站在梅纳德‑陶哲轩多维筛法的成熟框架之内，这套体系本身就是人类数学家搭建完成的大厦。

传统筛法当中，数学家需要选定一组权重参数，对海量整数进行筛选，筛掉合数，留下素数。过去十二年，人类反复调试这套参数组合，始终找不到更好的解。

AI 做了两件关键工作：

1.在原有的筛法理论之内，发掘出一组人类忽略的约束条件，也就是三重稠密可除性条件，放宽原有筛法对于因子平滑性的硬性限制，扩大权重可以选取的范围；

2.依靠强大的数值优化能力，在巨大的参数空间当中，遍历人类难以完整计算的组合，最终算出最优参数，得到 186 这个结果。

简单总结：框架是人搭的，但是最优的那一组密码，被 AI 找到了。

比 186 这个数字本身更加划时代的，是Lean4 形式化完整验证。

什么叫形式化证明？

传统数学研究，数学家写下论文，把逻辑步骤写出来，省略大量琐碎、重复的推导。同行专家阅读论文，依靠人类的理解、经验，判断证明是否成立。一篇重大数学论文，审稿时间往往长达数月甚至数年，依然有可能潜藏不易察觉的漏洞。

Lean 这类证明助手，把每一步逻辑翻译成机器可以读懂的代码。

每一步推导，计算机逐行校验。只要编译运行完全通过，代表整套逻辑链条不存在漏洞。不存在 “大概说得通”，没有意会，只有绝对严谨。

本次 186 的整套证明，全部在 Lean4 当中跑通验证，开源公开。

这意味着，不需要等待几位顶尖专家耗费半年审稿，全世界任何人都可以运行代码，核验结果真伪。

数学研究的游戏规则，正在被改写。

04

狂欢背后，数学家的隐忧：陶哲轩的警示，证明过剩时代已经到来

就在大众为 AI 欢呼 “AGI 降临” 的时候，菲尔兹奖得主陶哲轩，提出了令人深思的警告：

我们正在步入证明过剩的时代。

AI 可以高速批量产出大量数学推导、命题改进、局部证明。产出速度，远远超过人类数学家阅读、理解、消化这些成果的速度。

这里出现一个尖锐矛盾：

数学真正的价值，并不仅仅是输出一个正确的数字答案。更重要的，是人类理解 “为什么它成立”。

186，数字摆在眼前，机器告诉我们这个结果正确。可是，人类还没有完全看透：为什么这一组参数效果这么好？背后更深层的数学直觉是什么？

如果 AI 不断丢给我们一个个正确答案，但是人类无法读懂它思考的路径。长此以往，难题被解决了，但是人类对数学的理解未必同步增长。

这就是陶哲轩所说的 “问题污染”。

一个百年难题，答案直接摆在桌上，可我们看不懂解题过程。对于数学学科本身，究竟是幸运，还是困境？

与此同时，学术界也保持理性的判断：

沿着现有的多维筛法这条道路，就算 AI 不断优化参数，也很难一路直接降到 2。

这套筛法本身自带固有的 “奇偶性障碍”，这是底层方法论的天花板，不是单纯调参数就可以逾越。想要真正触碰孪生素数猜想本身，大概率依旧需要人类提出全新的数学思想，一套过去从来没有人想到的工具。

AI 可以在现有道路上跑得飞快；但是开辟全新道路这件事，至今仍是留给人类的战场。

05

当 AI 走进数学：数学家会被取代吗？

这场刷屏事件，留给普通人最值得思考的问题：未来，数学家会被 AI 替代吗？

我们可以把数学工作，拆分成三层：

第一层：计算、参数搜索、繁琐推导、逻辑校验。

这一部分，AI 已经表现出碾压人类的实力。枯燥、庞大、穷尽可能性的工作，交给机器。就像 186 这次突破，AI 完成的正是这一层的工作。

第二层：选择方向，搭建框架，提出猜想。

告诉机器，我们应该去解决什么问题，应该使用哪一套理论工具。这一步，依旧离不开人类数学家。张益唐、梅纳德‑陶哲轩搭建筛法的底层框架，就是这一层。

第三层：颠覆性原创，创造全新数学范式。

跳出所有人现有的体系，开辟一条从前不存在的道路。迄今为止，这依旧属于人类独有的领地。

AI 更像是当代数学家的 “超级望远镜 + 超级计算器”。望远镜不会代替天文学家，但是它可以帮助人类看见从前看不见的星辰。

就像苏炜杰所说：AI 越擅长局部推导与计算，人类学者，越应当把精力投向问题选择、模型建构与思想洞察之上。

最后

从 7000 万，到 246，再到今天的 186。

一串不断变小的数字，映照出几代数学家的坚守，也见证人工智能闯入纯粹数学殿堂的历史性一刻。

但是潮水般的欢呼声中，我们应当守住一份清醒：

186 是一次漂亮的进步，不是终极胜利。

百年猜想依旧悬而未决。AI 帮我们向前多走了几十步，可那条通往数字 2 的漫漫长路，依旧横亘在人类面前。

未来，究竟是 AI 再一次刷新纪录？还是人类的智慧，带来全新的数学革命？

时间会给我们答案。

问题来了：你认为，孪生素数猜想，会由 AI 完成最终证明，还是依旧等待人类数学家？欢迎在评论区留下你的看法。

撰稿：超模君

编辑：可可

本文参考文献：

王元。张益唐与孪生素数猜想 [R]. 中国科学院数学与系统科学研究院

Erica Klarreich. Together and Alone, Closing the Prime Gap. Quanta Magazine，2013

OpenAI. Improved Short Gaps Between Primes,2026‑09‑03

Terence Tao，Blog：Small and large gaps in the primes

光明网.AI 验证 “246 定理”，陶哲轩呼吁数学家主动引领 AI，2026

苏炜杰，X 平台帖文及《中国科学报》访谈记录，2026‑09‑07

参考 阅读：《素数间的有界距离》张益唐、Lean4‑PrimeGap‑186 开源项目

何谓数学？

数学家Eduardo曾这样回答

“数学是永恒，是真理，是一切的答案。”

为了探寻趣味数学奥秘

真切感知理性之美

数学史上传奇的数学家们，

什么都能给你造出来。

毕竟，学数学永远都不会落伍。

数学好物

最后再来关注一下

超模君精心研发的数学文化T恤！

穿在身上的

不仅仅是信仰！

“同理可得”与“显然易证”文化T恤

数学文化中的密码

信息量爆炸的文字

原价 269元

超模君特惠价139元！！！

插播一则

大家好，这是【超模君】项目的主理人中大数学博士【大Lee】的个人Vlog视频号，欢迎大家关注我的视频号。

喜欢《数学有什么用系列》记得关注超模君Vlog，点赞和点小爱心哦，

一路坚持，靠的是大家！

在这里我会争取日更（大家可以监督），一天一个主题。

在视频号，分享知识，见解，生活碎片，以及家庭生活的日常花絮。

最近在做【优质国货赋能】和【安全产品溯源】。也欢迎大家一起做云股东和云监工。

也希望大家可以一起留言互相讨论分享进步。

点击长按关注

简介：超模君，数学与交叉科学教育自媒体博主，中大数学博士，有俩崽崽和一洁癖的太太。爱分享有用的数学建模知识，爱深挖有趣的交叉科学人物故事，爱为靠谱的现代教育、提升幸福感的产品打call。著有 《芥子须弥·大科学家的小故事》、《数学之旅：闪耀人类的54个数学家》、《漫画数学：闪耀人类的54个数学家》、《一份钟数学》 （已售罄）、《薛定谔的猫：漫画大科学家的小萌宠》（已售罄）、超模君幽灵魔方、超模君丙烯马克笔等广受大人与孩子们喜爱的作品。

在这里，超模君不定期会有脑洞大开，和你分享一些新研发出来的，小而美的，有故事的，有知识的理工创意产品，期待与您分享。