【数学史】孪生素数猜想的千年征途

luyuanhong

【数学史】孪生素数猜想的千年征途

原创  酉木木  梧桐阅览  2026 年 2 月 20 日 11:00  湖北

在数学的星空中，有一类问题格外迷人：它们的表述简单到小学生都能听懂，证明却难住人类千百年。孪生素数猜想便是其中最耀眼的一颗。它只问一件事：相差为 2 的素数对，是否有无穷多组？

这个看似朴素的追问，跨越了古希腊的沉思、近代数学的奠基、现代解析数论的攻坚。从模糊的观察到严格的猜想，从遥不可及到7000万的破冰，再到246的逼近，一代代数学家在素数的荒野上跋涉。今天，我们站在历史的节点回望，这场跨越千年的追寻，既是人类理性的远征，也是一场关于无限与孤独的温柔守望。

孪生素数：最简单的追问，最漫长的等待

要理解孪生素数，必须先回到素数本身。

素数，又称质数，是指大于 1 、除了 1 和自身外不能被其他自然数整除的数：2、3、5、7、11、13……它们是自然数的“基石”，所有整数都能被唯一分解为素数的乘积。这一基本定理，奠定了数论的根基。

早在古希腊，欧几里得就用优雅的反证法证明了：素数有无穷多个。证明只有几句话，却成为数学史上最经典的论证之一。他证明了素数会永远出现，永不停歇，但他没有回答：素数是以怎样的节奏出现？它们会不断成对出现吗？


图片由 AI 生成，有一些 AI 幻觉

2、3、5、7、11、13、17、19、23、29、31...

观察素数数列，人们很快发现一种特殊的配对：

● 3 和 5 ，差 2

● 5 和 7 ，差 2

● 11 和 13 ，差 2

● 17 和 19 ，差 2

……

这样相差为 2 的素数对，被形象地称为孪生素数。它们像一对对结伴而行的兄弟，在无穷的数字长路上彼此靠近，彼此守护。

于是一个自然的问题诞生了：这样的孪生素数对，有无穷多组吗？

这就是孪生素数猜想的雏形。

古希腊人观察到了现象，却未能给出证明。在之后的一千多年里，这个问题如同沉睡的火山，无人能点燃它的火焰。中世纪到文艺复兴，数学在代数、几何、分析领域狂飙突进，唯独在素数的分布规律上，人类长期止步不前。

直到 1849 年，法国数学家阿尔方·德·波利尼亚克提出更一般的猜想：对任意自然数 k ，都存在无穷多组素数对，差值为 2k 。当 k=1 时，就是经典的孪生素数猜想。这是孪生素数问题第一次被正式、清晰地写入数学史。

1900 年，希尔伯特在巴黎国际数学家大会上，提出 23 个引领 20 世纪数学的难题，孪生素数猜想被列入第八问题，与哥德巴赫猜想、黎曼猜想并肩。从此，它成为数论皇冠上最诱人的明珠。

可明珠蒙尘。

在漫长的 20 世纪，数学家在孪生素数问题上进展甚微。大家相信猜想是对的，计算证据越来越多，越大的数里仍能找到孪生素数；但相信不等于证明。

更令人绝望的是：随着数字变大，素数整体上越来越稀疏。根据素数定理，素数整体越来越“稀疏”，它们还能无限次地两两靠近吗？

直觉与逻辑在此拉扯。所有人都知道，这一步跨出去，就是历史；可这一步，悬在半空，百年未落。

百年沉寂：在黑暗中摸索的筛法

现代数学攻克孪生素数猜想的核心工具，是筛法。

筛法的思想很朴素：把不是素数的数“筛掉”，剩下的就是素数。最古老的埃拉托斯特尼筛法，正是如此。但要证明“无穷多对”，普通筛法远远不够。

20 世纪，筛法被不断改良：布伦筛、塞尔伯格筛、大筛法……它们在哥德巴赫猜想上立下奇功。

1919 年，布伦证明：所有孪生素数的倒数之和是收敛的。这是一个重要结果，却不能证明有无穷多对。此后数十年，最好的结果只是“弱版本”，无法触及“有界间隔”的核心。

到 21 世纪初，数学界的主流态度是悲观的。很多顶尖数论学家认为：在现有工具下，孪生素数猜想是不可证的。要证明“存在无穷多差值为 2 的素数对”，几乎是不可能完成的任务。

于是人们退一步问：

能不能先证明：存在无穷多组素数对，它们的差值不超过某个固定的有限数？



这个问题被称为素数的有界间隔问题。它比孪生素数猜想弱，却同样艰难。在 2013 年之前，没有人能给出这个“固定有限数”，哪怕它是一万亿、十亿、一亿。

数学界在黑暗中徘徊太久，直到一束光在无人预料的角落亮起。

张益唐：7000 万，破冰之声

2013 年，世界数学界被一个名字震惊：张益唐。

在此之前，他几乎是数学界的“隐形人”。1978 年考入北京大学数学系，1985 年赴美留学，博士毕业后长期未能获得正式教职，打过零工、做过会计、当过讲师，年近六旬仍只是普通讲师，没有重磅论文，没有学术光环，默默坚持素数研究数十年。

在很多人眼里，他是被学术生涯耽误的人；只有他自己知道，他从未离开那片素数的旷野。

2013 年，张益唐向数学顶刊《数学年刊》投稿《素数间的有界间隔》。论文证明了一个石破天惊的结论：

存在无穷多对素数，它们的差值小于 7000 万。

7000 万，这个数字看起来很大，甚至有些“粗糙”，但在数学史上，它是从无限到有限的质变。

在此之前，人类不知道素数会不会永远越隔越远，永远散开；张益唐告诉世界：无论走多远，素数总会无限次地重新聚集在一起，彼此的距离不超过 7000 万。

这是人类第一次证明：素数之间存在固定的有限间隔。

《数学年刊》通常审稿周期长达一年，这篇论文只用了三周就被接收。审稿人评价：这项成果是里程碑式的，解析数论的一个核心问题被彻底解决了。

一夜之间，张益唐从无名讲师变成全球数学明星。他的故事被《自然》《纽约时报》《人民日报》等媒体争相报道，他的坚持与纯粹，成为学术界的传奇。

为什么 7000 万如此重要？

用一个通俗的比喻：孪生素数猜想的目标是 2 。张益唐没有一步走到 2 ，但他把原本无限远的距离，硬生生拉到了 7000 万。从无限到有限，是从 0 到 1 的突破。他打开了一扇门，门后是一条可以不断前进的路。

张益唐的论文发表后，全球数论学家立刻行动起来。他的方法可以优化，7000 万可以被缩小。陶哲轩领头的 Polymath8a 计划，一场全球数学接力开始了。

● 有人优化参数

● 有人改进筛法权重

● 有人用计算机做更精细的估计

7000 万 → 4000 万 → 500 万 → 40 万 → 12000 ……数字以惊人的速度下降。在张益唐论文发表仅仅三个月后， Polymath8a 计划把数字定格在 4680 。

最耀眼的新星登场

2013 年，在张益唐成果发表仅半年后，英国年轻数学家梅纳德独立提出一套全新的筛法框架。他没有沿用张益唐的路径，而是对筛法的“权函数”进行革命性重构，把单变量推广为多变量，让筛法效率大幅提升。梅纳德不仅仅是找一对素数的间隔问题，而是系统性的制造“素数簇”。



梅纳德证明：存在无穷多素数对，差值小于 600 。

这一结果比张益唐的 7000 万强了许多，而且方法更简洁、更一般化，能直接推广到“m 个素数的有界间隔”。

很快，陶哲轩与梅纳德开始了 Polymath8b 计划，最终把这个数字定格在：

246

截至目前，在不依赖额外未证明猜想的前提下，孪生素数有界间隔的世界纪录是：

存在无穷多素数对，其差值 ≤246 。

如果假设更强的埃利奥特-哈尔伯斯塔姆猜想成立，这个数字可以被压到 6 。

从无限 → 7000 万 → 600 → 246 ，十年之间，人类走完了过去几百年都未能走完的路。

2022 年，詹姆斯·梅纳德因在解析数论（包括素数间隔、素数分布）的革命性贡献，荣获菲尔兹奖，这是数学界的最高荣誉。他用最年轻的姿态，接过了这场接力赛的关键一棒。

从张益唐到梅纳德，两代数学家，一次破冰，一次飞跃，共同把孪生素数猜想推到了离终点只有一步之遥的地方。

246 到 2 ：一步之遥，仍是天堑

今天，我们站在 246 这里，离最终目标 2 ，只剩下三位数的距离。

但数学的残酷与美丽正在于此：最后一步，往往最难。

246 到 2 ，看似只是缩小数字，实则是质的跨越。现有筛法存在天然的“奇偶障碍”，无法直接突破到 2 。要走完这最后一程，很可能需要：

● 全新的数学思想

● 全新的工具框架

● 或是将筛法、调和分析、遍历理论、代数几何深度融合的超级方法

但没有人再悲观。

因为我们已经知道：

● 素数不会永远孤独散开

● 它们会无限次靠近

● 我们能把界限压到 246

● 未来一定能压到更小

孪生素数猜想，从“不可能”变成“很可能”，从“遥不可及”变成“可望可及”。

更重要的是，这场征途告诉我们：数学不是天才的独角戏，而是一代代人的接力。张益唐在孤独中坚守，打开大门；梅纳德在青春中创新，拓宽道路。素数是孤独的原子，却能结伴而行；数学家是独立的个体，却能并肩远征。

无限的意义：为何我们要追寻孪生素数

有人会问：证明孪生素数猜想，有什么用？

它不能造桥、不能发电、不能直接带来商业利润，但它是人类理性的尊严。

● 它检验我们对数字最本质的理解

● 它推动筛法、分析、组合数学的整体进步

● 它训练最顶尖的头脑，培养最纯粹的科学精神

● 它回答一个人类自古的追问：宇宙的规律，是否可以被人类理解？

它看着人类从蒙昧走向理性，从观望走向攀登。

今天，我们已经走到了 246 。或有一天，有人把 246 变成 2 。那时，我们或能正式宣告：孪生素数，无穷无尽；素数兄弟，永远相伴。

那一天到来时，我们会想起欧几里得的星空，想起希尔伯特的誓言，想起张益唐在课堂与草稿纸之间的坚守，想起梅纳德笔尖下跳跃的灵感。

这不是一个人的胜利，是全人类在无垠的征途上留下的足迹。

数字之上，星光永恒。

在无穷的自然数里，素数沉默分布。它们有时相隔万里，有时两两相依。孪生素数猜想，是一场跨越两千年的追问：你们会永远结伴吗？我们还没有最终答案，但我们已经越来越近。

数学最美的地方，不在于答案，而在于追寻。在这条路上，有人孤独半生，有人年少成名。他们共同守护着一个信念：简单而深刻的真理，终会被看见、被理解。

也许在不远的将来，最后一步会被跨过，246 会变成 2 。那时我们会说：看，那些孪生的素数，真的在无穷远处，永远守望，永不分离。

而数学，会带着新的问题，继续走向更深邃的星空。

梧桐阅览

ysr

下面来证明孪生素数有无穷多：
证明方法一：
证明： 请看如下两个数列：
2n+1: 3，5，7，……，
2n+3: 5，7，9，……，
对应项差为 2，若对应项均为素数则为孪生素数对。比如 3 和 5,5 和 7，……。
由于这是两个奇数数列，所以，素因子都是大于等于 3 的，且 相邻素因子的差存在无穷多大于 2 的差。
正是由于这两条原因，孪生素数对就是无穷多的.
(我们可以得到多种差为 2 的不同数列如等差数列或抛物线数列等，如果不同的数列算不同种证明方法，则证明方法几乎是无穷的)
这个简述不明白的话，再详述一点如下：（是奇数数列含有全体奇素数不重复证明了）
每个数列都含有无穷素数，这个证明除了用前面的欧几里得反证法外，还有其他证明。(啥是相邻素因子呢？相邻素数指全体素数中的相邻的素数，中间没有其它素数的两个素数，而相邻素因子不一定包含全体素数的，可能只是部分素数，这两个数列中包含了除了 2 以外的全体素数，所以这里的素因子等于全体大于 2 的素数，而后面用的抛物线数列中的素因子不是全体素数，缺少很多，所以这里必须用相邻素因子，二者概念不同)
这两个数列包含了全体奇素数，所以，无需再证明，其中的素数都是无穷多的。此法不仅能证明素数有无穷多，还证明了素数是越来越稀的。由于有节拍错位，必然有不同的素因子重复占位，这样就节约位置产生的素数多，此处素数稠密，故还能证明素数不仅仅是越来越稀，还有稠密和稀疏相间的分布特点。

素数对产生的原因也仅以下两条:
1，两个数列中的素因子必须大于 2，都是奇数，这个满足。
2，由于两数列中相同的素因子在同一个周期内最多可占对应项的 2 个位置，故相邻素因子的差必须≥4，偶尔有等于 2 的不影响结果，这条也满足。
这个充分条件就是个定理，定理：前两个数列中只要出现大于2的相邻素数对的差（或者说是相邻素因子的差）就必然产生孪生素数对。（产生2生素数对即差为2m的素数对的充分条件也是这个，就是只要存在大于等于4的相邻素数对就必然产生）
证明：前面两个数列中，若相邻素数p2-p1>=4,则在p2的下一个周期由于节拍错位，必有至少一对素因子重复占位，如3p2,就是3和p2重复占位了。则比前一个周期多出一个空缺位置，就是素数对的位置，则必然产生至少一对孪生素数对，因为一个素因子最多占两个位置。如11-7=4>2，在11的下一个周期的33就是3和11重复占位了，次位的31和对应项29构成孪生素数对。而17-13=4，也大于2了，在17的下一个周期最大的数是3*17=51，在这个周期内有43，41一对，与51是不接近不是次一位，而13和11不在这个周期，因为是从19开始到51结束的。而19和17又是一对孪生素数对。为啥素数p2的下一个周期最大的必然是3p2呢？这个容易理解，因为素因子第一次出现的时候是素数，后面出现的就是其倍数，倍数是从低到高出现的，奇数数列中去掉了偶数，所以没有2倍数了，所以下一次就必然是3倍数，所以必然是3p2。3和p2必然是重复占位，就是占了同一个位置，节约了一个位置，就是产生一对孪生素数对是必然的，因为空缺位置不能被前面的素因子占位，且是对应项都不能被占位了，必然是素数对位置。这就是定理，这就是充分条件，证毕！

由于，素数越来越稀，大于等于4的相邻素数的差有无穷多，所以，孪生素数对无穷多。(这个是多年研究才弄明白的，这个是产生素数的本质原因，也是产生素数对的本质原因)
而要产生4生素数组呢？充分条件就是只要存在大于等于6的相邻素数差就必然会产生4生素数组(当然要有前提条件，就是有个必要条件)。

下面就看利用欧几里得的证明方法：
证明方法二：
证明：前面两个数列中把对应项都是素数的，看作一个素数，把素数对看作一个素数，而把合数对和半对子都看作合数，因为合数对和半对子都含有素因子。
这样就是看作一个数列了。由于是奇数数列，不含有素因子2的，且公差是2。
用欧几里得的方法:
假设素数（素数对）是有限的，假设素数只有有限的n个，最大的一个素数是p。
设q为所有素数之积(除了2的)加上2，那么，q=（ 3×5×…×p ）+2不是素数。
那么，q可以被3、5、…、p中的数整除。
而q被这3、5、…、p中任意一个整除都会余2，不能整除q，与假设矛盾。
所以，素数（素数对）是无限的。
则差为2的素数对是无限的，就是孪生素数对是无限的，证毕！
下面来证明差为4的素数对有无穷多。
请看如下两个数列：
    2n+1: 3,5,7,……，
    2n+5: 7,9,11,……，
对应项差为4，而3和7，7和11就是素数对。是差为4的素数对，是否有无穷多？
下面证明：
证明：前面两个数列中的对应项都是素数的，就看作一个素数，把素数对看作一个素数，而把合数对和半对子都看作合数，因为合数对和半对子都含有素因子。
这样就是看作一个数列了。由于是奇数数列，不含有素因子2的，且公差是2。
用欧几里得的方法，
假设素数（素数对）是有限的，假设素数只有有限的n个，最大的一个素数是p。
设q为所有素数之积(除了2的)加上2，那么，q=（ 3×5×…×p ）+2不是素数。
那么，q可以被3、5、…、p中的数整除。
而q被这3、5、…、p中任意一个整除都会余2，不能整除q，与假设矛盾。
所以，素数（素数对）是无限的。
则差为4的素数对是无限的，证毕！
同理，我们可以得到和证明：差为6， 8，10，……，2n的素数对都是无穷多的。
从而得到差定理：任意两个奇素数的差（包括自身相减）可以表示全体偶数。
3，  差定理和和定理的证明：
差定理：任意两个奇素数的差（包括自身相减）可以表示全体偶数。
差定理的证明：
比如如下数列：
2n+1：  3，5，7，……
2n+2m+1：3+2m，5+2m，7+2m，……
对应项差为2m，可以严格证明（我可以用多种方法证明，比如用欧几里得反证法）这两个数列中含有无穷多对素数对，而2m为全体偶数，m可以等于0，这就是差定理。2m就是所有，就是全体偶数。下面用欧几里得法证明：
证明：把前面两个数列中的素数对当做素数，其他数对当做合数，则变为一个奇数数列，设数列中素数是有限的（据证法1的原理，只要相邻素数存在大于2的差就不会没有素数对，所以，不用设定没有素数对的情况）或者从q后面没有素数(就是没有素数对)，设q=3*5*7*……*p+2，则该项除以p内的奇素数余数都是2，不能被p内的素数整除，与假设矛盾，所以，q要么是素数要么能被大于p的素数整除，新素数的第一次出现是作为素数出现在该数列中的，所以，该数列中素数是无限的，就是素数对是无限的，差定理得证。
从而推导和证明和定理（就是哥德巴赫猜想）：任意两个奇素数的和可以表示大于4的全体偶数，而4=2+2。
   证明：
设p3>=p2>=p1>=3，由差定理知p2-p1={0，2，4，……}，则有p2=p1+{0，2，4，……}（等式含义:等式左边为素数，显然右边不是≥3的全体奇数，那些偶数是与不同的P2对应的特殊偶数集合，如3+0，2，4为素，7+(4，6)为素，……，与3，7等等对应的，这些特殊的偶数集合的并集为全体偶数，即(0，2，4)U(4，6)U……=全体偶数）。由于p1，p2，p3各自集合无区别，则有p2+p3=2p1+{0，2，4，……}（这里的0，2，4，……已是打破特殊集合界线的一个大集合即全体偶数，就是相当于在子集的并集组成的大集合中任意选两个相加包括自己相加，如一个选0，另一个遍历0～2n的全体偶数得到还是全体偶数），又因为2p1>=6，4=2+2.故，命题成立。
证毕！（和定理就是哥德巴赫猜想）则哥德巴赫猜想得证！

欧几里得（英文：Euclid；希腊文：Ευκλειδηζ，约公元前330年—公元前275年），古希腊人，数学家，被称为“几何之父”。他最著名的著作《几何原本》是欧洲数学的基础，提出五大公设，欧几里得几何，被广泛的认为是历史上最成功的教科书。欧几里得也写了一些关于透视、圆锥曲线、球面几何学及数论的作品。
欧几里得是2千多年前的人物，所以，此方法2千多年前就发现了，故哥德巴赫猜想和孪生素数猜想都不是难题。
哥德巴赫猜想和孪生素数猜想是简单的。很容易证明。
不仅差为2，4，6，8，……，2n的素数对都有无穷多，而且差为2，4，6，8，……，2n的相邻素数对都有无穷多（这一点在后文证明），这个是已经证明的定理！证明我早已经发表在数学中国论坛了！
   有了这个定理就可以推导证明出下面两个定理：
1..两两奇素数的差可以表示全体偶数。
2..两两奇素数的和可以表示大于4的全体偶数，而4=2+2（这就是哥德巴赫猜想）。
孪生素数对是差2的素数对，除了3，5，7这一组外，孪生素数对的间距都是大于等于4以至无穷，没有上限，而间距为4的孪生素数对也是直到无穷大都存在的，有无穷多的。这两点并不矛盾。