数学，是全人类知识体系里唯一一门把"证明"当作准入门槛的学科——物理靠实验、历史靠考证、医学靠统计，唯有数学，光有再多吻合的证据也进不了真理的殿堂。可偏偏有这么一个命题：全世界的数学家都"99.9%确定"它是真的，无数计算机穷举到天文数字都精准支持它，Fields奖得主们围绕它打转，可就是没有任何一个人能证明它。Veritasium 在 2026 年 6 月 14 日上线的这支约 40 分钟视频，讲的正是这个让数学界纠结了两千多年的幽灵——孪生素数猜想（Twin Prime Conjecture）。它不只是一个数论谜题，更是一面镜子，照出"经验证据"与"严格证明"之间那条微妙而迷人的鸿沟。
| 项目 | 内容 |
|---|---|
| 视频标题 | We're 99.9% sure this pattern is true, but no one can prove it |
| 频道 | Veritasium（Derek Muller，订阅数 2300 万+） |
| 时长 | 约 40 分钟（最后章节起于 36:42） |
| 播放量 | 发布 3 天即 259 万（截至抓取时，仍在快速增长） |
| 点赞 | 66K |
| 发布日期 | 2026-06-14 |
| 核心主题 | 孪生素数猜想：相差 2 的素数对是否有无穷多个 |
| 顾问阵容 | James Maynard（Fields 奖）、Andrew Granville、Alex Kontorovich、Roger Heath-Brown、Dimitris Koukoulopoulos 等 |
素数是算术的"原子"——任何大于 1 的整数都能唯一拆成素数的乘积（算术基本定理）。公元前 300 年，Euclid 用一个优雅的反证法证明了素数有无穷多个：假设素数有限，把它们全乘起来再加 1，这个新数要么本身是素数，要么能被一个不在列表里的素数整除，矛盾。这一招两千年来无人能破。
但人类的贪心没有止境。既然素数无穷，那"成双成对"的素数呢？像 (3,5)、(5,7)、(11,13)、(17,19)、(29,31)、(41,43)……这些相差恰好为 2 的素数对，被浪漫地称为孪生素数（twin primes）。问题是：这样的对子，是不是也无穷多？ 这就是孪生素数猜想。看似只是把"无穷"挪了挪位置，难度却从"本科生练习"瞬间飙升到"两千年无人攻克"。
视频标题里的"99.9% sure"，指的是数论学家用来估测素数分布的一套概率启发式（heuristic）。核心是 1896 年证明的素数定理（Prime Number Theorem）：在数字 n 附近，一个数是素数的概率约为 1/ln(n)。那么 n 和 n+2 同时为素数的概率，粗略就是 (1/ln n)²。
1923 年，Hardy 与 Littlewood 把这个直觉精确化，给出了孪生素数计数公式：到 x 为止的孪生素数对数量约为 2·C₂·x/(ln x)²，其中 C₂ ≈ 0.66016 是孪生素数常数（twin prime constant）。这个公式预测：孪生素数的数量随 x 无限增长，应当有无穷多对。更惊人的是，计算机把公式预测值与实际计数值一对比——吻合精度高到令人发指，差几个百分点以内。这就是"99.9%确信"的全部底气：模型预测无穷，数据严丝合缝。但请注意——预测与吻合，从来不是证明。这是理解整个故事的关键认知点。
视频在 6:11 转向实操：古希腊数学家埃拉托斯特尼（Eratosthenes，约公元前 240 年）发明的筛法（Sieve of Eratosthenes）。把自然数列出来，划掉 2 的倍数、3 的倍数、5 的倍数……剩下的就是素数。这不仅是人类最早的算法之一，更是后来一切"筛法理论"的鼻祖。现代解析数论的命脉——Selberg 筛、GPY 筛、Maynard 的多维筛——本质上都是把这个"划掉倍数"的思想放到连续统上做极其精细的概率化升级。视频用筛法铺垫，正是为了让观众理解：攻克孪生素数的全部工具，都长在这棵两千年的老树上。
18:47 的章节标题"How A Subway Worker Changed The Game"，主角是张益唐（Yitang Zhang）。这是全片最动人的一段。张益唐博士毕业后长期漂泊，据说曾在 Subway 连锁店打工、做会计，50 多岁还是新罕布什尔大学一名默默无闻的讲师。2013 年，他发表了《Bounded gaps between primes》，登在顶级刊物《Annals of Mathematics》上，一举震动世界：他证明了存在无穷多对相邻素数，其间隔小于 7000 万。
为什么这是地震？因为在张益唐之前，人类连"素数间隔有一个有限上界、并且这个上界被无穷多次达到"这件事都完全无法证明。素数可以稀疏到离谱，没人知道间隔会不会一路发散。张益唐第一次把"间隔"这个抽象量钉死在一个有限数字上——7000 万虽然巨大，但它是有限的。从无穷到有限，这一步跨了七十年。
张益唐的突破像发令枪。几乎同时，当时还是博士后的James Maynard用一种全新的"多维 Selberg 筛法"独立得到结果，把上界压到 600。随后，Fields 奖得主陶哲轩（Terence Tao）发起大规模在线协作项目 Polymath8，全球数学家在博客上接力作战，把上界一路压缩。最终，无条件的上界定格在 246——这正是视频里"246"出现 117 次的原因。
Maynard 因这一系列工作（以及后来的小间隔结果）获得 2022 年 Fields 奖。从 7000 万到 246，只用了不到十年，是人类集体智慧的奇观。但请注意一个残酷事实：246 离目标 2（孪生素数的间隔）还有漫长的路。
视频结尾点明了现状与天花板。当前无条件最好结果是 246；若假设著名的 Elliott–Halberstam 猜想成立，可降到 12；若用更强的广义 Elliott–Halberstam，可到 6。但要从 6 再压到 2，靠现有筛法的"边际改进"已经无能为力——它需要全新的数学思想。换句话说，孪生素数猜想像一座金字塔的塔尖，而人类目前离塔尖还隔着好几层观念性的突破。这就是为什么视频名为"99.9% sure, but no one can prove it"——信心来自模型，绝望来自方法的天花板。
视频把"99.9%确信"讲得酣畅淋漓，但我想补充一个它没深挖、却至关重要的反面教材：Mertens 猜想。这个猜想曾被计算机验证到 10¹⁶ 量级都成立，半个世纪无人怀疑，结果 1985 年被 Odlyzko 与 te Riele 证伪——它的第一个反例大到无法直接找到，估计在 exp(1.59×10⁴⁰) 这种写都写不下来的天文尺度上。这个案例冷酷地说明：计算吻合到任何有限的尺度，都不能保证无限成立。 数学家之所以死守"证明"二字，正因为我们的大脑和计算机都擅长在"小尺度"上自欺欺人。孪生素数猜想很可能是对的，但"99.9%确信"本质上是一种信仰而非知识——这正是数学区别于一切经验科学的尊严所在。
flowchart TD
A["素数有无穷多<br/>Euclid 公元前300年·已证明"] --> B["孪生素数猜想<br/>相差2的素数对是否无穷多？·未证明"]
B --> C{"如何判断真假？"}
C -->|概率启发式| D["Hardy-Littlewood 公式<br/>π₂(x)≈2·C₂·x/(ln x)²<br/>C₂≈0.66016 → 预测无穷多"]
C -->|严格证明| E["筛法工具链<br/>埃拉托斯特尼筛 → GPY → 多维Selberg筛"]
D --> F["计算验证高度吻合<br/>99.9%确信（但≠证明）"]
E --> G["张益唐 2013<br/>间隔上界 ≤ 70,000,000<br/>首次证明有限间隔"]
G --> H["Maynard 2013 + Polymath8<br/>600 → 246（无条件）"]
H --> I["Elliott-Halberstam假设下<br/>12 / 6"]
I --> J["目标：2（孪生素数）<br/>需全新数学思想·仍遥不可及"]
F -.警示.-> K["Mertens猜想反例<br/>验证到10¹⁶仍为假<br/>→ 经验证据≠证明"]
K -.强化.-> E
对普通人的认知升级：分清"高度吻合"与"必然成立"。 我们日常被各种"99%准确率""数据高度相关"包围——AI 模型、医学统计、金融回测。孪生素数与 Mertens 猜想联手给你上了一堂最硬核的批判性思维课：在有限样本上吻合得再漂亮，也不能保证规律在无限（或未见过的场景）下成立。 回测再完美的策略可能在未来崩盘，验证再多的假设可能在某次黑天鹅被证伪。把"99.9%确信"老老实实当成"高概率"而非"确定"，是抵御过度自信的第一道防线。
对科研与工程从业者：启发式的价值。 Hardy-Littlewood 公式虽然不是证明，却精准指引了整个解析数论一百年的方向，最终催生了张益唐和 Maynard 的突破。这说明一个深刻的方法论：在拿不到严格证明时，一个可计算、可验证的概率模型本身就是极具价值的科学资产。做工程的人不必等理论完备才动手——一个好的启发式模型（哪怕经验公式）足以驱动产品迭代，关键是清楚它的适用边界。
对协作文化的启示：Polymath 模式。 从 7000 万到 246 只用了十年，靠的不是某个天才的孤军奋战，而是陶哲轩发起的在线大规模协作。这给所有复杂工程项目的启示是：把难题拆解、开放讨论、让全球智慧接力，往往比封闭的精英攻关更高效。开源社区的成功，本质就是同一逻辑。
这支视频借孪生素数猜想告诉你：在数学的世界里，哪怕全人类的计算机和数据都站你这边，"确信"也永远换不来"证明"——而这正是数学最清醒、也最迷人的尊严。
本文由「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 等场景全覆盖。