千禧年大奖难题通俗解读：改变数学的七个问题

2000年，马萨诸塞州的一家私人基金会——克雷数学研究所——为七个数学问题中的每一个各悬赏100万美元。这些都不是简单的问题：当世最顶尖的数学家们早已尝试而未能攻克，其中有些已经悬而未决一个多世纪。二十六年过去了，六题仍未解决，一题已被解决，另有一题截至2026年10月2日正处于一种耐人寻味的“中间状态”。下面用通俗的语言说明这七个问题各自到底在问什么，以及它们如今确切地处于什么状态。

1. 黎曼猜想

一句话概括问题：素数（2、3、5、7、11、13……）随着数越来越大而变得越来越稀疏，这背后是否隐藏着一个精确的规律？

单个来看，素数显得零散而难以预测，但有一个特殊的数学对象——黎曼ζ函数——它的行为与素数的分布直接相关。黎曼猜想预言，这个函数的所有“非平凡零点”（函数值为零的特定点）都落在同一条确定的直线上。如果这一猜想成立，就能精确地确定素数分布得有多均匀，比目前任何已证明的结果都精确得多。

类比的局限：人们很容易把它想象成“在素数本身中找规律”，但这个猜想实际上是关于另一个人为构造的函数的论断，这个函数编码了关于素数的信息——而不是“每隔一个素数就……”之类的直接规则。

为什么重要：数论中的大片领域已经假定黎曼猜想成立，并在此基础上继续推进——一旦得到证明，数以百计的现有结果将立刻从“若黎曼猜想成立则成立”升级为直接“成立”。

现状：未解决。计算机已经检验了超过10万亿个这样的零点，每一个都恰好落在预言的直线上。从未发现过任何例外——但也没有证明例外绝不可能存在。

2. P与NP问题

一句话概括问题：如果一个问题的答案在拿到之后可以很快验证，那么它是否也总能很快地被找到？

想象一个巨大的数独，或者在500个城市之间寻找最佳送货路线。检查一个已经填好的数独，或者检查某条给定路线是否短于某个目标长度，几乎不花时间。可要从零开始真正求解，随着问题规模变大，所需时间似乎会急剧增长——可能性的数量呈爆炸式增加。P与NP问题问的是：验证与求解之间的这道鸿沟，究竟是数学中根本的、无法避免的事实，还是仅仅说明还没有人找到足够巧妙的方法。

为什么重要：几乎每一个密码、每一个安全网站、每一份加密数据，都依赖于某些问题“容易验证、难以求解”。如果证明了P = NP——并且确实存在一种真正快速的方法——现代密码学的大部分都必须从头重建。

现状：未解决。绝大多数计算机科学家相信P ≠ NP（即这道鸿沟真实存在且永久存在），但无论哪个方向，都还没有人证明。

3. 纳维–斯托克斯方程解的存在性与光滑性

一句话概括问题：描述流体（水、空气以及一切能流动的东西）运动的方程，是否永远都表现良好？还是说，一个完全光滑的初始流动，可能在有限时间内突然“爆破”，出现无穷大的速度或湍流？

纳维–斯托克斯方程是天气模型、飞机设计和洋流计算背后的数学——物理学家和工程师一直在用它，并取得了巨大的实际成功。但从未被证明的是：方程本身在所有情况下是否在数学上都可靠？在光滑、合理的初始条件下，它们是否总能永远给出光滑、合理的答案？还是说，即便物理上没有发生任何离谱的事情，数学本身也可能出问题（出现“奇点”）？

截至2026年10月2日的现状：确实处于中间状态。2026年9月，一项针对该问题的结果被公布——多家媒体报道称其与OpenAI的一项研究有关——提出了一个光滑初始流动确实在有限时间内爆破的例子。克雷数学研究所于2026年9月11日回应称，该问题“看来已经解决”（“apparently been settled”），同时明确表示其评估流程“刻意不慌不忙”（“deliberately unhurried”）。这与正式颁奖不是一回事——请看下面的提示框。

4. 杨–米尔斯理论的存在性与质量间隙

一句话概括问题：支撑粒子物理标准模型的数学，能否建立在完全严格的基础之上？如果可以，它能否正确地预言：理论所允许的最轻粒子具有严格为正的质量（即“质量间隙”），正如实验所观测到的那样？

研究生拓展

物理学家一直在使用杨–米尔斯理论，而且它与实验的吻合精度高得惊人。所缺的是该理论本身完全严格的数学构造——这是数学家（而非物理学家）所要求的无懈可击的基础——以及一个证明：理论确实必然导致质量间隙的存在，而不只是在实践中被观测到。

为什么重要：它恰好处于物理学与纯数学的交汇点——一旦解决，将是迄今为止最深刻的确认之一，证明现代物理的数学结构不仅在经验上成功，而且在逻辑上是严密的。

现状：未解决。许多数学家认为它是七题中最难、技术要求最高的之一。

5. 霍奇猜想

一句话概括问题：对于由多项式方程构成的某一类性质良好的几何形体，它们所有“自然”的内部结构，是否真的如人们所预期的那样，都来自更简单的代数部件？

研究生拓展

它属于代数几何——研究由多项式方程定义的形体的学科（与下文的椭圆曲线属于同一类对象）。有些形体具有可以用拓扑学（一种非常灵活的、允许拉伸和弯曲的研究形状的方式）来描述的内部特征。霍奇猜想预言，对于某一特定的、性质良好的形体类别，每一个这样的拓扑特征，也都可以直接由代数部件（本身就是多项式方程之解的子形体）构造出来。它问的是：观察同一个形体的两种不同方式——拓扑的和代数的——是否总是一致。

现状：未解决，而且普遍被认为是最难向大众准确表述的问题之一——在许多特殊情形下已被证明，但作为一般规律尚未得到证明。

6. 贝赫和斯维讷通–戴尔猜想

一句话概括问题：对于一种特殊的曲线（“椭圆曲线”），能否仅凭观察一个相关函数的行为，就预测它有多少个整数解或分数解？

椭圆曲线是形如 y² = x³ + ax + b 的方程——看起来简单得具有欺骗性，却是现代密码学（包括保护大多数银行应用的加密技术）以及安德鲁·怀尔斯对费马大定理那份著名证明的核心。有些椭圆曲线有无穷多个有理数解，另一些则只有有限个。这个猜想认为，你可以判断面对的是哪一种——甚至估计它的解有多“丰富”——而这只需要考察由该曲线构造出的另一个函数（它的L函数）在某个特定点附近的行为。

为什么重要：它能把一个目前只能逐例处理、往往计算起来很困难的问题（“这条曲线有多少个解？”），变成可以用一条清晰、可证明的规则来回答的问题。

现状：未解决，但已经通过计算对数量极多的单条椭圆曲线进行了验证——迄今检验过的每一条曲线，表现都与猜想的预言完全一致。

7. 庞加莱猜想——已经解决的那一题

一句话概括问题：如果一个三维形体没有任何“洞”（在精确的拓扑意义上），并且在其他方面也性质良好，那它是否必然就是一个（更高维的）球面，最多只是被拉伸或变形了？

在二维情形下，这几乎是显然的：在球面上画的任何一个圈，都可以在不离开球面的情况下收缩成一个点；但绕着甜甜圈的洞画的一个圈，只要留在甜甜圈表面上，就永远无法收缩成一个点——所以球面和甜甜圈确实是不同的形状。庞加莱猜想问的是：同样的“没有洞就意味着本质上是球面”这条规则，在高一个维度时——对于存在于四维空间中的三维形体——是否依然成立。这要难以想象得多，也难以证明得多。

现状：已解决。格里戈里·佩雷尔曼于2002–2003年证明了它，使用的是一种名为里奇流的技术（由理查德·汉密尔顿发展），它逐步地、一步一步地“抹平”形体的几何，直到其真实结构显露出来。

总结表

动手试一试：证据与证明

这些问题中有好几个——黎曼零点、哥德巴赫式的问题、考拉兹猜想——都有同一个陷阱：压倒性的数值证据感觉上像是证明，但其实并不是。拖动下面的滑块，看看这是为什么。

延伸阅读

本文讨论的是官方的七个千禧年大奖难题。在这份清单之外，数学中还有许多著名的未解问题——孪生素数猜想、考拉兹猜想、abc猜想等等——每一个都有自己的、往往截然不同的现状。我们的未解数学之谜专题把它们并列呈现，同样细致地区分哪些已被真正证明、哪些只是猜测。如果你好奇人工智能能否替我们解决其中某一题，AI真的会做数学吗？一文专门探讨了这个问题。