一句话先说清楚：数学里的结论只有两种状态——被证明，或还没被证明。那些“看起来一定是对的，但全世界最聪明的数学家都没能证明”的陈述，叫猜想（conjecture）。下面这五个，是其中最著名、也最好懂的。
0先搞懂：什么算“猜想”？
猜想的结局只有两种：被证明，或被推翻。没有第三种。
数学只认“证明”，不认“看起来对”。这就是为什么猜想能悬而未决几百年。
猜想 Conjecture
en: conjecture
被大量例子支持、但还没被严格证明的陈述。
定理 Theorem
en: theorem
已经通过逻辑推理被严格证明的陈述。猜想“毕业”之后才叫定理。
反例 Counterexample
en: counterexample
一个与猜想矛盾的例子。猜想的软肋：验证一亿个例子都行，一个反例就完蛋。
彩蛋 · 2000 年，美国克雷数学研究所悬赏 7 个千禧年难题（Millennium Problems），每题 100 万美元。到今天，7 题里只解出 1 题（庞加莱猜想），而且证明者佩雷尔曼（Perelman）直接拒绝了奖金。剩下 6 题里，黎曼猜想和 P vs NP 就在下面。
1黎曼猜想（Riemann Hypothesis）
数学界公认最值钱的未解之谜：素数的“节奏”到底藏在哪？
先说背景：素数是只能被 1 和自身整除的数（2, 3, 5, 7, 11, 13…），它们像散落在数轴上的“原子”。数学家早就发现：素数越大，就越是稀稀拉拉。但有没有一个公式能精确描述它们的分布？1859 年，德国数学家黎曼（Riemann）发现，这个问题的答案藏在一个叫 ζ（zeta）函数的东西里——而 ζ 函数有一堆“零点”（让函数等于 0 的点）。
黎曼猜想：ζ 函数的所有非平凡零点都落在 Re(s)=1/2 这条竖线上。用计算机验证过的零点已经超过 10 万亿个，全部都在——但“所有”两个字，至今没人证得动。
为什么重要：只要黎曼猜想成立，数学家就能精确预言素数的分布。几乎整个数论大厦都建立在它之上。它也被称为“数学的圣杯”。
素数 Prime Number
en: prime
只能被 1 和自身整除的大于 1 的整数。2, 3, 5, 7, 11… 无穷多个。
零点 Zero
en: zero（这里是简化版定义）
让函数“算出 0”的自变量取值。黎曼发现的“非平凡零点”位置，恰好控制着素数的分布节奏。
2P vs NP：检查容易，求解也容易吗？
这个问题的答案，直接影响密码学、AI 和整个互联网的安全。
先说背景：有一类问题，检查答案很容易，但找答案可能极难。最典型的例子是数独：给你一个填好的数独，你几秒就能检查它对不对；但让你从空白开始解一个 9×9 数独，可能要试很久很久。
P 是“能快速求解”的问题，NP 是“答案能快速验证”的问题。问号是：P 是不是等于 NP？大多数人相信不等于，但没人证明得了。
为什么重要：现在你上网用的加密（比如 HTTPS）就建立在“某些 NP 问题极难求解”之上。如果哪天有人证明 P = NP，这些密码理论上都能被快速破解——互联网安全格局将彻底改写。这也是千禧年难题之一。
P / NP
en: polynomial time / nondeterministic polynomial time
P：能用“合理时间”求解的问题；NP：答案能快速验证的问题。P = NP 是否成立，是理论计算机科学最大的悬案。
3哥德巴赫猜想（Goldbach's Conjecture）
1742 年提出的“小学生都能听懂”的猜想，至今未解。
先说背景：1742 年，德国数学家哥德巴赫在给欧拉（Euler）的信里问：是不是任何一个大于 2 的偶数，都能写成两个素数之和？欧拉一看，觉得太显然了——但两人都没能证明。
“任何大于 2 的偶数 = 两个素数之和”。验证过再多，也不能证明“所有”。
进展：中国数学家陈景润（Chen Jingrun）在 1966 年证明了最接近的结果“1 + 2”：任何一个足够大的偶数，都可以写成一个素数加上一个“至多两个素数相乘”的数。就差最后一步，这一步走了快 60 年。
殆素数 Semiprime
en: semiprime / almost-prime
由至多两个素数相乘得到的数，如 15 = 3×5。陈景润的“1+2”里，“2”指的就是这类数。
4孪生素数猜想（Twin Prime Conjecture）
相差 2 的素数对，是不是有无穷多？
先说背景：(3, 5)、(5, 7)、(11, 13)、(17, 19)… 这些“只差 2”的素数对叫孪生素数。越往后越稀有，但总还能找到。问题是：它们会永远出现下去，还是某一天彻底消失？
注意坐标：数轴刻度不是等距的，只是示意。真实问题是：孪生素数对是否有无穷多。
进展：2013 年，华人数学家张益唐（Zhang Yitang）震惊数学界：他证明了存在无穷多对素数，它们的间隔不超过 7000 万。虽然不是“相差 2”，但这是人类第一次证明“孪生”确实存在无穷多。后来这个上限被一路压缩到 246——离 2 只剩一步之遥。
孪生素数 Twin Prime
en: twin prime
相差恰好为 2 的一对素数。比如 (3,5)、(11,13)。
5考拉兹猜想（3n+1 / Collatz）
规则三句话，证明一百年——所有猜想里最“气人”的一个。
规则：随便想一个正整数。如果是偶数，除以 2；如果是奇数，乘 3 再加 1。重复下去。考拉兹猜想说：无论从哪个数开始，最终都会掉到 1。
27 的轨迹忽高忽低，像冰雹在天上翻滚，所以又叫“冰雹序列”。它折腾了 111 步才落到 1。
进展：计算机已经把从 1 到 2⁶⁸（约 3×10²⁰，比地球上所有沙滩的沙粒总数还多几十倍）的每个数都验证了一遍——全部掉到 1。但“每一个数”仍然无法证明。这个猜想看着像小学奥数题，却是著名数学家厄多斯（Erdős）都摇头说“数学还没准备好面对这个问题”的硬骨头。
冰雹序列 Hailstone Sequence
en: hailstone sequence
考拉兹过程中出现的数字序列。因为数值上下乱跳，像冰雹一样，所以得了这个名字。
6还有一长串……
这些只是最出名的几个。未解之谜的名单长得很。
- 完美长方体（Perfect Cuboid）：一个长方体，长、宽、高、三个面对角线、体对角线——全都要是整数。至今没找到，也没证明不存在。
- 奇数完美数（Odd Perfect Number）：一个数等于它所有真因数之和，叫完美数（如 6 = 1+2+3）。已知的完美数全是偶数。是否存在奇数完美数？未知。
- Navier–Stokes 方程（千禧年难题之一）：描述水流、气流的方程，科学家天天在用，但“它会不会在某处突然爆掉”这个问题，理论上没人能证明。
- abc 猜想：2012 年日本数学家望月新一发表了长达 500 多页的证明，但到现在数学界都还没公认它正确。
实际上更复杂一点：黎曼猜想里的“零点”要用大学才学的复分析才能严格定义，这里画的是直觉版本；孪生素数图里的数轴也不是等距刻度。所有验证数字（10 万亿个零点、4×10¹⁸ 的偶数、2⁶⁸ 的考拉兹、间隔 246）都是公开记录里的真实结果，但请记住：验证再多，也不等于证明。数学的“证明”要覆盖无穷多个情况，一个都不能漏。
想一想
- 哥德巴赫猜想已经用计算机验证到 4×10¹⁸（比地球沙粒还多得多），为什么数学家依然不宣布它“成立”？验证和证明的区别到底是什么？
- 如果将来某个 AI 声称“证明”了黎曼猜想，但过程长到没有人能看懂——数学家应该相信它吗？一个“只有机器能检查”的证明，算证明吗？