3 和 5、5 和 7、11 和 13、29 和 31……这些只差 2 的素数对，被叫做孪生素数（twin primes）。早在古希腊时代，人们就好奇一件事：这样的"双胞胎"会永远持续下去吗？还是会在某处彻底断绝？ 这就是悬了上千年、至今无解的孪生素数猜想（Twin Prime Conjecture）。
Veritasium 这期点击量已破 453 万的长视频，把镜头对准了数学史上最吊诡的一幕：几乎每一位数论学家都"99.9% 确定"孪生素数有无穷多对，却没有任何一个人能给出证明。 而在数学的世界里，"99.9% 确定"这几个字的价值，精确地等于零。
这期视频之所以值得反复看，不只是因为它讲了一个地铁店员工逆袭成数学英雄的故事（张益唐），更因为它把一个看似纯数论的冷门问题，拧成了对我们今天这个"数据万能"时代的一记响亮耳光：当模型在十万亿个例子里都对，它就一定对吗？ 答案是——未必。而且数学史上有大量"在你能想到的每一个数上都对、却最终被证伪"的猜想，等着告诉我们什么叫真正的谦卑。
| 项目 | 内容 |
|---|---|
| 视频标题 | We're 99.9% sure this pattern is true, but no one can prove it |
| 频道 | Veritasium（Derek Muller 主持，订阅超 1900 万） |
| 时长 | 约 40 分钟（章节覆盖到 36:42+） |
| 播放量 | 约 453 万（截至解读时，发布约 3 周） |
| 发布日期 | 2026 年 6 月 14 日 |
| 核心主题 | 孪生素数猜想：从 Hardy–Littlewood 启发式到张益唐的有界突破 |
素数（prime number）是只能被 1 和自身整除的大于 1 的自然数：2、3、5、7、11、13、17……公元前 300 年左右，欧几里得用一段至今仍被誉为"最优美的数学证明"的论证，证明了一件铁打的事实：素数有无穷多个。 证明极简——假设素数有限，把它们全乘起来再加 1，这个新数要么本身是素数，要么被一个不在列表里的素数整除，矛盾。
孪生素数就是那些相差恰好为 2 的素数对：(3,5)、(5,7)、(11,13)、(17,19)、(29,31)、(41,43)……直觉上，素数越往后越稀疏，"成对出现"的概率应该越来越低。于是问题来了：这个"成对"的游戏，会不会在某个超大数字之后就再也玩不下去了？ 1846 年，法国数学家 de Polignac 把它正式表述成一个猜想：对任意偶数 k，相差为 k 的素数对都有无穷多对。孪生素数猜想就是 k=2 的特例——也是最迷人、最顽固的那个特例。
视频用筛法的可视化（埃拉托色尼筛法，Sieve of Eratosthenes）让普通观众也能"看见"素数是怎么在自然数里被筛出来的，以及为什么越往后双胞胎越罕见。这是后续一切故事的地基。
视频反复回到一个关键词：几乎可以肯定（we're 99.9% sure）。这份底气从哪来？来自 1923 年英国数学巨匠 G. H. Hardy 与 J. E. Littlewood 提出的一个公式（即第二 Hardy–Littlewood 猜想的一部分）。它给出了一个精确预测：不超过 x 的孪生素数对数量大约是
π₂(x) ≈ 2C₂ · ∫₂ˣ dt / (ln t)²
其中 C₂ ≈ 1.32032 叫"孪生素数常数"。这个公式不是拍脑袋猜的，它背后是素数在统计学意义上"随机但不完全随机"的深刻结构——粗略说，每个数 n 是素数的概率约为 1/ln(n)，而要让 n 和 n+2 同时是素数，还得考虑它们不共享某些小因子的相关性修正。
关键在于：这个公式被拿去和真实数据比对，吻合得令人发指。 数学家用计算机穷举到 10¹⁸（一百万亿亿）甚至更远的范围，每一处孪生素数对的实际计数，都和公式预测值严丝合缝。用概率的语言讲，"孪生素数有无穷多对"这件事为真的概率无限逼近于 1。所以视频里专家们才会一脸坦然地说：我们对它比对自己明天还会活着更有把握。
这一段属于视频原话传达的核心；下面这一点是我的延伸——正是这种"压倒性的证据"构成了全片最大的反讽。
这是本期视频最锋利、也最容易被普通观众忽略的一刀。在物理学、生物学、医学、甚至今天的机器学习里，99.9% 的置信度足以让你登上顶级期刊、足以让一种药物上市、足以让一个大模型被部署到上亿用户头上。唯独在数学里，它一文不值。
原因在于数学真理的本质：数学命题讨论的是无穷。而任何有限次的验证，在无穷面前都等于零次。 你检验了一万亿个、一万亿亿个例子，相对于"所有自然数"这个无穷集合，依然是沧海一粟。视频用几个让人脊背发凉的史实说明了这一点（以下为延伸补充）：
27⁵ + 84⁵ + 110⁵ + 133⁵ = 144⁵ 一击击穿，那篇论文著名到只有两句话。一句话：一个猜想可以"在你看得见的整片宇宙里都正确"，然后在你够不着的地方轰然倒塌。 这就是为什么数学家对孪生素数猜想的"99.9%"如此不安——不是不信它，而是知道"信"在数学里根本不是通行证。
视频在介绍历史脉络时绕不开挪威数学家 Viggo Brun。1919 年，他证明了一个让所有人心里一咯噔的结果：所有孪生素数对的倒数之和是收敛的，约等于 1.90216，被称为 Brun 常数。
这件事为什么细思极恐？因为对所有素数取倒数求和，结果是发散的（趋向无穷，这是 Euler 的经典结论，等价于"素数无穷"）。换句话说，普通素数虽然越来越稀，但稀疏得还不够快，倒数求和仍能堆到无穷。而孪生素数对却稀疏到连倒数和都"装不满"一个有限的桶。 Brun 定理因此成为历史上第一个严肃暗示"孪生素数也许真的会断绝"的信号——它说明孪生素数的"稀薄程度"已经逼近某种临界。
更糟的是，Brun 定理直接堵死了用证明"素数无穷"那套老办法来证明孪生素数无穷的路。欧几里得之所以能用反证法秒杀"素数有限"，靠的正是素数倒数和发散。孪生素数连这根拐杖都没有。这就解释了为什么接下来的一个世纪，全人类对它束手无策。
这大概是全片最动人的章节，标题就叫 "How A Subway Worker Changed The Game"。视频里反复出现的"subway worker"，正是中国观众最熟悉的那位传奇——张益唐。
故事本身比小说还戏剧：张益唐在普渡大学拿到博士学位，却因与导师关系不睦、加上当时学术环境的冷遇，毕业后长期找不到教职。最艰难时，他在赛百味（Subway）三明治店做收银、在汽车旅馆打工、给朋友的小店做账，居无定所。直到将近 50 岁才在一所不太知名的大学谋到一份讲师职位。
2013 年，已经 58 岁、此前几乎没有任何重要发表的张益唐，把一篇论文投给了数学界最顶级的期刊《数学年刊》（Annals of Mathematics）。论文证明了一个石破天惊的结论：存在一个有限的常数，使得相差不超过这个常数的素数对有无穷多对。 他给出的上界是 70,000,000。
视频反复强调一个关键点（也是外行最容易误解的）：7000 万这个数字本身毫无意义。真正震撼的是"有限"二字。
在张益唐之前，人类连"是否存在任何一个固定的差距，会被无穷多对素数反复达成"都证明不了——差距可以是 2，也可以是 4、6、100、甚至无限大，没人说得清。张益唐第一次把这个差距从"无限"拽进了"有限"的牢笼。从无穷到有限，是数学上一个质变级别的跨越，而他把这座桥从无人问津的角落里独自架了起来。《数学年刊》的审稿专家惊到罕见地启动了快速通道，几个月内就接受发表。
张益唐的论文像一颗深水炸弹。视频接下来用整章展示了数学史上最壮观的"集体加速"——短短几个月内，全世界数论学家把 7000 万这个上界，砍到了原来的千分之一以下。
第一棒是英国青年 James Maynard（当时还是博士后，后来于 2022 年摘得菲尔兹奖）。他几乎与张益唐同时、却完全独立地发展出了一套更强力的"多维筛法"，把上界一举压到 600。紧接着，菲尔兹奖得主、 UCLA 的 陶哲轩（Terence Tao） 发起了著名的在线协作项目 Polymath8，召集全球数学家公开接力。几个月内，上界从 600 一路下探，最终在无条件假设下稳定在 246。
| 阶段 | 关键人物 / 项目 | 上界（素数对最大差距） |
|---|---|---|
| 张益唐 2013 | Yitang Zhang | 70,000,000 |
| 多维筛法 2013 | James Maynard（+ 陶哲轩） | 600 |
| Polymath8b 协作 2014 | 全球集体 | 246（当前最佳） |
| 若 Elliott–Halberstam 猜想成立 | — | 12（乃至 6） |
| 终极目标 | — | 2（孪生素数猜想） |
注意这里藏着一个让人又爱又恨的事实：即使把上界压到 6，离目标 2 仍差最后一步，而这一步可能比前面所有进步加起来都难。
视频在结尾（29:20 "Finding An Upper Bound" 与 32:04 "Maynard and Polymath"）点出了那个无形的墙。我把它称为整个故事的"技术反派"——筛法的奇偶性障碍（parity problem），由挪威数学巨匠 Atle Selberg 最先指出。
通俗讲：传统的筛法工具，天生分不清一个数到底有几个质因子——奇数个还是偶数个。 它能告诉你"这个数几乎肯定是素数（1 个质因子）"，却无法精确区分"恰好 1 个"和"恰好 2 个"的差别。而孪生素数猜想要证的，恰恰是 n 与 n+2 同时恰好各有 1 个质因子。这就像用一把只能分辨"亮/暗"的尺子，去测量"究竟亮了几个像素"——精度天生不够。
这就是为什么从 246 到 6 还能用更巧的筛法硬挤，而从 6 到 2 却像撞上一堵透明的墙。突破奇偶性障碍，需要的不是更聪明的技巧，而是一整套全新的数学语言。 视频里 Maynard、Granville 等人的神情里都透着这种"我们知道终点在哪，但手里没有通往终点的路"的无奈。
视频最后一章 "Will we solve the twin prime conjecture?" 没有给出廉价的乐观。它的潜台词是：也许会，但很可能是用我们今天完全想象不到的工具。
一个常被引用的参照是费马大定理——它困扰了人类 358 年，最终由 Andrew Wiles 在 1994 年证明，而他用的"模形式与椭圆曲线"那一整套理论，是费马当年做梦都想不到的。换句话说，解开这类千古悬案，往往不是靠天才的灵光，而是靠等待一整片新大陆被发现。 孪生素数猜想也许会重演这一幕，也可能会像黎曼猜想那样，再等上一个世纪、几个世纪。视频留给观众的，是一份对未竟之事的敬意：在数学面前，"几乎肯定"永远不够，而正是这种"永远不够"，推动着人类一次次造出新的思想工具。
flowchart TD
A["孪生素数猜想<br/>相差为2的素数对，是否无穷多？"] --> B{"我们有多确定？"}
B -->|经验/启发式| C["Hardy-Littlewood 1923<br/>密度预测公式<br/>穷举验证到 10¹⁸ 完全吻合<br/>→ 99.9% 确定"]
B -->|形式证明| D["目标：逻辑上无懈可击<br/>→ 当前进展：0%"]
C -.无数个例 ≠ 证明.-> D
D --> E["工具主线：筛法"]
E --> F["埃拉托色尼筛 → Brun 1919<br/>孪生素数倒数和收敛<br/>(可能断绝的早期警报)"]
F --> G["GPY 筛法 2005<br/>差距有下界，但仍非有限"]
G --> H["张益唐 2013<br/>首证有限上界 ≤ 70,000,000"]
H --> I["Maynard / 陶哲轩 2013<br/>独立压到 ≤ 600"]
I --> J["Polymath8 全球协作<br/>当前最佳 ≤ 246"]
J --> K{"奇偶性障碍 Parity Barrier<br/>传统筛法卡在 ≈ 6-12"}
K -->|需全新数学语言| L["终极目标：差距 = 2<br/>孪生素数猜想"]
style C fill:#fff3cd
style D fill:#f8d7da
style H fill:#d1ecf1
style K fill:#f5b7b1
style L fill:#d5f5e3
你可能会问：素数这么"纯"的东西，跟我有什么关系？恰恰相反，这期视频给普通人的认知升级，远比任何一门实用课都狠。
第一，对"大数据 / 大样本验证"保持警惕。 我们这个时代最危险的迷信，就是把"在 N 个例子里都对"等同于"一定对"。你的机器学习模型在十亿条数据上表现完美，并不意味着它理解了规律——它只是在有限样本上拟合得好，和数学家在 10¹⁸ 内验证孪生素数公式是一回事。Mertens 猜想在 10³⁰ 内都对、最后还是错的故事，应该贴在每一个数据科学家的工位上：相关不是因果，巨量验证不等于证明。 在医疗、金融风控、自动驾驶这些"出一次错就要命"的领域，这条原则尤其值钱。
第二，对"几乎可以肯定"的结论保留一份谦卑的怀疑。 Pólya 猜想、欧拉幂和、Skewes 数这些案例共同指向一个道理：越是看起来"显然正确""大家公认"的事，越可能在某个你够不着的尺度上轰然崩塌。 当有人用"所有人都这么认为""数据都是这么显示的"来劝你接受某个结论时，不妨想一想——它在无穷面前，到底是真命题，还只是"还没遇到反例"。
第三，关于突破与逆袭。 张益唐的故事是最朴素也最有力的提醒：重大突破未必来自精英机构的明星，而来自长期、安静、近乎偏执的深耕。 他在 58 岁、几乎"被学术圈遗忘"的状态下，拿下了 21 世纪数论最重要的进展之一。这对每一个怀疑自己"是不是太晚了""是不是没资源"的人，都是一针强心剂。
第四，关于协作的复利。 Polymath8 在几个月内把上界从 600 砍到 246，是开放科学（open science）最漂亮的广告：当知识被公开共享、当全球大脑被连接起来，进步的速度会发生质变。 这对今天的开源社区、分布式协作、甚至企业内部的知识共享，都是同一个道理。
这期视频最值钱的不是"孪生素数有多迷人"，而是它把一个铁律钉进了你的脑子：在数学里（进而在所有以"证据"立身的领域里），99.9% 的确定精确地等于零——真正的真理只认证明，而证明，往往要等上一整个时代的新工具。
本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵爱卫生（微信ID: gprshome201101）维护，聚焦5G/6G核心网、3GPP标准解读、通信前沿技术深度分析。 出版作品有《5G核心网原理与实践》《IMS原理与实践》等4本通信专业书籍。知识星球「51学通信」提供深度技术答疑和行业洞察。
[!tip] 51学通信知识星球 星主：爱卫生（微信：gprshome201101）——公众号「51学通信」创办者，19 年通信行业运维与讲师经验，著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书（各大电商平台有售）。 星球定位：深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域，主打运维岗位与信令分析。 当前规模：5200 篇主题 / 990 个回答，198 元/年。 加入福利：加入星球后请加爱卫生微信，拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题，另有群内分享。 AI 加持：51学通信知识星球已作为 skill 接入 WorkBuddy，使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例，做总结、找文档和 PPT 等场景全覆盖。