做1道题就能拿100万美元，20年了全球没人做出来第2道

你有没有想过，世界上最聪明的大脑在研究什么？

2000年的某一天，一个美国商人掏出700万美元，委托一批数学家列出七个"最难的数学问题"。这听起来像是科幻小说的开场，但它是真实发生的事。

这个商人叫兰登·克雷，他创办了克雷数学研究所。他相信，如果把数学难题和百万美元绑定在一起，也许能吸引全世界的关注，让人们意识到——人类还有这么多未解之谜。

于是，2000年5月24日，在巴黎的法兰西公学院，七道千禧年难题正式公布。每解开一道，奖励100万美元。不限时间，不限国籍，只要你的解答能发表在国际期刊上，经过两年验证期，你就能把钱抱回家。

整整20年过去了，这700万美元，只被领走过一次。

一个"不想要钱"的人

唯一拿到奖金的人叫格里戈里·佩雷尔曼，一个俄罗斯数学家。

2003年，他在网上贴出了自己的证明，声称解决了庞加莱猜想。这道题是法国数学家庞加莱在1904年提出的，大致意思是：如果一个三维空间里的每条封闭曲线都能缩成一个点，那这个空间本质上就是一个球面。

听起来像废话？但数学家们花了一百年都没能严格证明它。

佩雷尔曼的证明震惊了整个数学界。他的方法极其复杂，用到了一种叫"里奇流"的工具——想象一下，如果你把一块黏土不断揉捏，让它自动变成最规则的形状，里奇流就是数学家发明的"揉捏公式"。

经过三年验证，数学界确认他的证明完全正确。2010年，克雷研究所正式把100万美元递到他面前。

他拒绝了。

佩雷尔曼说："如果我的证明是正确的，别的方式的承认是不必要的。"他认为自己只是站在美国数学家汉密尔顿的肩膀上，而汉密尔顿的贡献"丝毫不逊于自己"。

这大概是人类历史上最佛系的百万富翁了。

为什么剩下的六道题这么难？

你可能会想：不就是几道数学题吗？找个聪明人多想想不就出来了？

事情没那么简单。

这七道题可不是随便凑的。它们是全世界最顶尖的数学家坐在一起反复讨论后挑选出来的，每一道都代表着一个数学分支的核心困难。解开它们，往往需要发明全新的数学工具，甚至开创新的数学领域。

这就好比你让全世界的木匠来解决"如何在不使用钉子的情况下把两块木头牢固连接"的问题——你需要的可能不是更巧妙的木匠技艺，而是突然发明出一种全新的胶水。

让我们来看看剩下六道题到底在问什么。

关于宇宙基本力的方程

第一个要说的是杨-米尔斯存在性和质量间隙。

想象你是一个物理学家，你想描述宇宙中最基本的作用力——比如把质子和中子绑在一起的核力量。你的前辈杨振宁和米尔斯在1954年提出了一个数学框架，这个框架在理论上非常漂亮，几乎能完美描述这种力。

但有一个致命问题：这个理论在数学上还没有被完全证明。

更具体地说，物理学家在实验中观察到，传递核力的粒子确实存在，而且有质量。但数学家们还无法从杨-米尔斯方程出发，严格证明"这个质量间隙必然存在"。

你可能会问：实验都做出来了，为什么还要证明？

因为数学的逻辑和物理的实验是两回事。实验告诉你"是什么"，数学证明告诉你"为什么必然是这样"。没有数学证明，这个理论就像一座建在沙上的房子，随时可能出现裂缝。

关于液体流动的方程

第二个是纳维-斯托克斯方程的存在性和光滑性。

这个方程描述的是液体和气体的流动——从你家水龙头的水流，到天气预报中的风场，都可以用它来计算。

问题在于：数学家们还无法证明，这个方程在三维空间中是否"永远给出合理的解"。

你可以这样理解：想象你在一杯水里滴了一滴墨水，理论上纳维-斯托克斯方程应该能描述这滴墨水如何扩散开来。但数学家们不知道的是——在某些极端情况下，这个方程会不会突然"发疯"，给出无穷大或者不连续的结果？

这个问题看似抽象，却关系到流体力学的理论基础是否稳固。

关于方程有多少个解的猜想

第三个是贝赫和斯维讷通-戴尔猜想。

这道题涉及一种叫椭圆曲线的方程。不要被名字吓到——你可以把它想象成一种特殊的数学对象，数学家可以用它来研究很多数论问题。

贝赫和斯维讷通-戴尔猜想问的是：如何判断一个椭圆曲线方程有有限个解还是无限个解？

这听起来是个纯粹的数学问题，但它和密码学密切相关。我们日常上网用到的加密技术，很多都依赖于某些数学问题"很难被计算机解决"。而椭圆曲线正是现代密码学的重要工具之一。

如果你能彻底解决这个问题，不仅能拿到百万美元，还可能让现有的某些加密方式变得过时或者更加安全。

关于"形状"的猜想

第四个是霍奇猜想。

这道题相当抽象，简单来说，它问的是：对于一类特别规则的"代数簇"（你可以把它们理解为高维的几何形状），它们内部复杂的拓扑结构，能否用简单的代数方程来描述？

如果这个猜想成立，数学家们就能用代数工具更方便地研究复杂的几何问题。几十年来，尽管很多数学家在努力，但这个猜想依然悬而未决。

关于素数分布的猜想

第五个是黎曼猜想，我们在之前的文章里详细聊过。简单来说，它研究的是素数——那些只能被1和它本身整除的数字——在自然数中的分布规律。素数就像是自然数的"原子"，理解它们的分布是数学家们的终极目标之一。

黎曼猜想提出一个关于黎曼zeta函数零点分布的猜测。100多年来，数学家们验证了数十万亿个零点都符合这个猜想，但严格的数学证明仍然遥不可及。

关于计算本质的问题

第六个是P vs NP问题，这可能是对普通人影响最大的一道题。

用大白话说：P问题是指那些"给你答案，你能快速验证"的问题；NP问题是指"给你答案，你能快速验证，但你自己想出答案却很难"的问题。

举个例子：给你一个城市列表，让你规划一条最短的推销路线——这道"旅行商问题"验证一个解很容易（把路线长度加起来就行），但找出最优解极难。

P vs NP问题问的是：这两类问题在本质上是否相同？

如果答案"Yes"——也就是说，所有快速验证的问题也都能快速解决——那意味着我们现在认为"很难"的很多问题，其实都有隐藏的简便算法。你的手机、电脑的加密系统可能要全部重做，因为很多密码学难题会突然变得 trivial。

如果答案"No"——大多数数学家也这么认为——那意味着确实存在"本质上很难"的问题，我们需要接受这个限制。

但问题是：没有人能证明到底是哪一个。

为什么这些题值100万美元？

你可能会觉得奇怪：这些数学题既不能让人生病，也造不出飞机大炮，为什么要花100万美元悬赏？

答案藏在我们日常生活里。

没有黎曼猜想，我们无法确信现在的密码系统是否真的安全。没有P vs NP的研究，我们不知道计算机能力的边界在哪里。没有杨-米尔斯理论的数学基础，物理学家对宇宙基本力的理解始终"缺一块砖"。

这些看似"无用"的数学研究，往往会在几十年后改变每个人的生活。比如现在网上银行、手机支付的安全性，都建立在"某些数学问题很难被破解"的基础上。而这些基础稳不稳，很大程度上取决于那些"无聊的猜想"是否被证明。

就像1900年德国数学家希尔伯特提出的23个问题，其中很多在当时看起来完全无用，但它们奠定了20世纪数学发展的方向，很多成果最终走进了你的手机和电脑。

克雷数学研究所希望用同样的方式，为21世纪的数学绘制一张蓝图。

你觉得哪道题会最先被解开？ 1.P vs NP 2.黎曼猜想 3.杨-米尔斯 4.其他 评论区告诉我是哪个！