OpenAI刚亮出GPT-6 Astra的一项数学成绩，网上就有人喊：“孪生素数猜想被AI攻克了！”更戏剧性的是，华人数学家陶哲轩还被传成审完百页证明后甩下四个字：“令人无语！”可把论文翻到第一段，反转立刻来了：AI确实刷新了世界纪录，但距离真正解开猜想，中间还隔着184步。
 
孪生素数并不神秘，像3和5、11和13、17和19，两个素数只差2，就像一对挨在一起的“双胞胎”。
 
问题是，这样的素数对会不会永远出现下去？
 
数学家普遍相信答案是“会”，但相信不是证明。谁能严丝合缝地证明存在无穷多对相差2的素数，才算真正拿下孪生素数猜想。
 
GPT-6 Astra这次证明的，是无穷多对相邻素数之间的距离不超过186。换句话说，它把人类能够保证的距离压得更小了，却没有把数字压到最终目标2。
 
186和2，看上去只差184；放进数学世界里，这184却可能是一道深不见底的峡谷。把“上界刷新到186”说成“猜想被攻克”，就像运动员把百米成绩提高了零点几秒，却被标题直接写成“人类已经突破生理极限”。突破是真的，结论却被猛推了一大截。
 
这场竞速要从2013年说起。
 
当年张益唐证明，无穷多对相邻素数的间距可以控制在7000万以内。7000万当然离2很远，但他第一次把“有限距离”牢牢钉在了证明里，一下撞开了沉寂多年的大门。
 
随后，詹姆斯·梅纳德和陶哲轩分别发展新的筛法，把上界迅速压到600。全球数学家组成的Polymath协作项目继续接力，最终把数字压到246。这个纪录此后保持了十多年，像一堵卡在所有人面前的墙。
 
谁也没想到，2026年这堵墙突然开始连续松动。
 
8月31日，牛津大学数学家Julia Stadlmann上传论文，将246推进到240。9月3日，Axiom Math又给出212的新上界。仅仅几个小时后，OpenAI交出186的证明，论文摘要最后明确写道：证明由GPT-6 Astra完成。
 
十多年没动的纪录，几天之内接连被改写，真正让数学界震动的并不只是186这个数字，而是AI已经不满足于解答教材里的题目，它开始闯进没有标准答案的研究前沿。
 
更关键的是，这不是随口吐出一个看似漂亮的结论。OpenAI放出的论文超过百页，还公布了压缩后的推理过程，并用Lean进行形式化验证。简单理解，普通审稿主要靠数学家逐行阅读，Lean则要求证明被翻译成计算机能够机械检查的严格步骤。只要形式化过程完整，某个隐藏漏洞想混过去就困难得多。
 
这也解释了为什么这次成绩分量很重。会聊天、会写代码是一回事，能在前沿数学里重新组合已有方法、找到可行路径，再接受机器检验，是完全不同的台阶。
 
不过，越是激动的时候，越不能把“刷新纪录”包装成“终结难题”。
 
数学最宝贵的地方，从来不只是报出一个数字，还包括人类能不能理解它为什么成立、能不能把新方法迁移到别的问题。陶哲轩此前真正担忧的，正是“证明消化不良”：机器生成和验证证明的速度越来越快，人类却可能来不及读懂、解释和吸收。
 
这番提醒不是给AI泼冷水，更不是否定技术。恰恰相反，工具越强，数学家承担的任务越重要。过去最稀缺的是找到证明，未来最稀缺的可能是判断哪些证明真正有价值，把百页推导整理成清楚的思想，再让下一代研究者能够沿着它继续前进。
 
一座矿山突然拥有了高速挖掘机，不代表地质学家失去了作用。挖得越快，越需要有人识别矿石、加固坑道、判断方向。否则，堆满仓库的可能只是没人理解的石头。
 
所以，这件事最精彩的部分，不是“陶哲轩被AI气到无语”，因为目前找不到这句评价的可靠出处；也不是“GPT-6彻底攻克孪生素数猜想”，因为终点仍然是2。
 
真正的爆点是：张益唐打开大门，梅纳德、陶哲轩和Polymath把道路铺到246，人类数学家刚推进到240，AI团队又接连压到212和186。人和机器不再隔岸观望，而是已经挤进同一条赛道。
 
AI没有在这一夜取代数学家，却让所有人看见，数学研究的节奏可能真的变了。下一次刷新纪录的，也许仍是模型；而决定这个结果能否沉淀为知识、能否继续逼近那个数字2的，依旧离不开真正懂数学的人。