GPT-6攻克孪生素数猜想新上限：从张益唐到AI的接力

数学圈最近炸开了锅。OpenAI的大模型GPT-6在孪生素数猜想方面取得重大突破，证明了存在无穷多个相邻素数对，它们的间隔不超过186。这个结果的意义，要放在一场跨越百年的数学接力赛里才能看清——而这场接力赛里最动人的一棒，属于华人数学家张益唐。

什么是孪生素数猜想

素数就是质数，除了1和它本身没有其他约数的数，比如2、3、5、7、11、13、17、19、23、29……古希腊的欧几里得早已证明素数有无穷多个。

孪生素数指的是相差为2的一对素数。3和5、5和7、11和13、17和19，都是孪生素数。越往后走，素数在自然数中的分布越稀薄，那么是否依然能找到无穷多对相差为2的素数？这就是孪生素数猜想：存在无穷多对孪生素数。

用字母表示，就是存在无穷多个素数P，使得P和P+2都是素数。这个猜想小学生都能听懂，但一百多年来无数数学家前仆后继都没能解决。1900年希尔伯特在国际数学家大会上提出的23个问题中，第八个就同时涵盖了黎曼猜想、孪生素数猜想和哥德巴赫猜想这三个与素数有关的难题。

值得一提的是几个有趣的变体。1849年法国数学家波利尼亚克提出了更强的版本：对任意正整数k，都存在无穷多对素数P和P+2k。k=1时相差2就是孪生素数；k=2时相差4被称为"表亲素数"；k=3时相差6则被称为"性感素数对"（sexy）。遗憾的是，无论k取哪个值，至今一个都没被证明。

理解孪生素数猜想的难度，需要先了解素数定理（Prime Number Theorem）所揭示的素数稀疏化规律：在1到N的自然数中，素数的个数约为N/lnN。这意味着在N附近随机取一个数，它是素数的概率约为1/lnN——N越大概率越小。因此相邻素数的"平均间隔"大约是lnN，当N趋于无穷时这个平均间隔也趋于无穷。孪生素数猜想的惊人之处正在于此：尽管素数整体上越来越稀疏，相邻素数的平均间距趋于无穷，猜想却断言仍有无穷多对素数"紧挨在一起"，间隔只有2。这种局部的"抱团"现象与整体的稀疏化之间的张力，是这个问题深刻而迷人的根源。

从哈代到GPY定理：逼近的百年

1923年，英国数学家哈代与合作者李特尔伍德提出了哈代-李特尔伍德猜想，被称为强孪生素数猜想。它给出了小于x的孪生素数对数量的一个估计公式，约等于2·C_t·x/(lnx)²，其中C_t是约0.66的孪生素数常数。由于x的增长速度远快于(lnx)²，当x趋于无穷时右边趋于无穷——如果这个猜想成立，孪生素数猜想自然也成立。用实际数据拟合，这个公式匹配得相当好，但至今无人能证明。

真正的定理级进展出现在2005年。三位数学家（首字母G、P、Y）通过筛选法得出了GPY定理。它证明了存在无穷多素数对，其间隔小于C·lnP，其中常数C可以任意小。这意味着相邻素数之差是比lnP更低阶的量。

这个进步非常大，因为它给出了间隔的上限约束。人们一度觉得离证明孪生素数猜想只差一根头发丝的距离。但这根头发丝怎么也过不去——GPY方法走到了尽头，得到了它能得到的最好结果。想再进一步，必须换方法。

GPY定理（以Goldston、Pintz、Yıldırım三位数学家命名）所依赖的核心工具是筛法（Sieve Method），这是一类通过系统排除不满足条件的整数来研究素数分布的方法。最古老的筛法是公元前3世纪埃拉托色尼发明的"埃拉托色尼筛"，用来枚举素数。20世纪数学家将筛法发展成精密的解析工具，但经典筛法存在一个被称为"奇偶障碍"（parity problem）的根本性瓶颈：它无法区分具有奇数个素因子和偶数个素因子的整数，导致无论如何优化都差那"最后一步"。GPY定理已将筛法逼近极限，这正是张益唐必须另辟蹊径的原因——他引入了关于素数分布的"可分配性估计"（admissible tuples与Bombieri-Vinogradov定理的延伸），绕过了奇偶障碍，从而第一次把无穷大的间隔上限变成了有限数字7000万。

张益唐：从洗盘子到震惊世界

2013年之前，数学界不知道有张益唐这个人；2013年之后，没有人不知道他。

张益唐1955年生于上海，1968年随父亲到北京，在清华附中念过一年初中。他从小记忆力惊人，痴迷《十万个为什么》里的数学卷，读到哥德巴赫猜想、费马大定理等问题时就对数学产生了浓厚兴趣。后来家庭受运动牵连下放江西农村，他辍学劳动，直到1978年恢复高考考入北京大学数学系。

1985年硕士毕业后，他在导师丁石孙的推荐下前往美国普渡大学，师从华裔数学家莫宗坚研究代数几何——尽管他真正热爱的是数论。1991年博士毕业时，他与导师因一条被发现有误的引理产生矛盾，导致博士论文工作失去意义，也没能拿到推荐信。

没有推荐信就找不到学术工作。此后8年，张益唐在中餐馆送外卖、洗盘子，在汽车旅馆当服务员，有时住在朋友家的地下室，有时住在自己车里。有人劝他转行做计算机保证吃穿不愁，他拒绝了，宁愿一边打工一边研究自己热爱的数学。

1999年出现转机：一位在英特尔工作的同学向他请教一个计算机难题，他很快解决，同学被折服，把他推荐到新罕布什尔大学当讲师。薪水不高，但他满足了——有办公室、纸和笔就能研究数学。他在这个岗位上一干就是14年。

转折发生在一次去朋友家做客时。他到后院想看看是否有鹿跑来，鹿没等到，却突然迸发灵感，想到可以改进GPY定理的方法。回去不久，他就写出了成果。

2013年4月17日，他向顶级期刊《数学年刊》投稿，证明了存在无穷多个相邻素数对，其间隔小于7000万。GPY定理只能保证间隔小于某个无穷大的量，而张益唐把它变成了一个有限的具体数字——这是质的飞跃。编辑最初以为是民科投稿，看完却挑不出毛病，转给大佬审阅后仅找出两个错别字和一处参考文献疏漏。三周后论文被接收，而《数学年刊》平均审稿周期是一年多，张益唐创造了纪录。《自然》杂志称其为突破性进展，他随即被授予正教授职位并获得麦克阿瑟天才奖。

接力压缩：从7000万到186

张益唐并未证明孪生素数猜想本身（那要求间隔恰好为2），但他开辟了一条可以持续优化的路径。

华裔数学家陶哲轩发起"博学者计划"（Polymath），号召全球数学爱好者用张益唐的方法压缩上限。不到4个月，上限就从7000万降到4680。随后英国天才数学家、26岁的詹姆斯·梅纳德独创新方法，把上限降到600；陶哲轩与梅纳德合作的博学者计划2又将其压缩到246。

这个246的记录保持了很多年。直到28岁的女数学家施塔德尔曼开辟新思路，把上限压缩到240。仅仅三天后，GPT-6沿用她的方法把上限压缩到了186。

换句话说，我们现在确知：一定存在某个偶数，使得有无穷多对素数的间隔正好等于它。我们不知道这个偶数究竟是2、4、6，还是200，但可以肯定它一定小于186。AI首次在这类前沿数论问题上接过了人类数学家的接力棒。

陶哲轩发起的博学者计划（Polymath Project）是数学史上一次重要的开放协作实验，由数学家Timothy Gowers于2009年首创，旨在验证"大规模网络协作能否解决顶级数学难题"。参与者在公开博客上实时讨论、互相验证，任何人——从菲尔兹奖得主到业余爱好者——都可以提交想法。针对张益唐结果的Polymath8计划吸引了数十位研究者，通过对张益唐方法中每一个技术参数的精细优化，在数月内将上限从7000万压缩到4680。梅纳德随后独立提出的方法在技术路线上与张益唐不同，他使用了更高维的筛函数，不仅将上限降至600，还同时证明了"存在无穷多个素数k元组"这一更强结论，效率大幅提升，也为后续的246、240乃至186奠定了新的基础。

两种人生：陶哲轩与张益唐

把张益唐和陶哲轩放在一起是一种耐人寻味的对照。陶哲轩7岁读高中、9岁上大学、连续三次拿到国际奥数铜银金牌、21岁在普林斯顿获博士学位、24岁成为加州大学洛杉矶分校正教授、31岁摘得菲尔兹奖。而张益唐13岁辍学下乡、36岁失业打零工8年、58岁时还只是一名讲师。

多数人都希望拥有陶哲轩式的人生，但并非所有人都有那样的头脑与环境。张益唐树立的是另一种榜样：在餐馆打零工、夜里住地下室时也从未放弃热爱的数学。被问及如何评价自己的人生，他引用杜甫的诗句作答——"庾信平生最萧瑟，暮年诗赋动江关"。

这场从哈代到张益唐，再到陶哲轩、梅纳德、施塔德尔曼，最终由GPT-6续写的接力，正是数学最迷人的地方：一个小学生能听懂的问题，可以让人类最聪明的头脑与最先进的AI共同奋斗百年而不悔。