与黎曼猜想同样值钱的7大数学难题，每一题都奖励100万

百万富翁

你也可以

这几天黎曼猜想的风波算是暂告一段落了，阿蒂亚老爵爷还是未能给数学界带来奇迹。

黎曼猜想也在这几天让全世界又重新认识了一遍，

重回人生巅峰

。

超模君也在想，啥时候“超级数学建模”的微信指数也能这么高，难不成也要我证明黎曼猜想？（算了，还是不想了）

就在黎曼猜想大红大紫之际，还是有模友想起了黎曼猜想的另外6位好基友，价值百万美金的千禧问题。

既然无敌幸运星都向超模君发问了，那超模君还是得积极回应一下。

在2000年的千年数学大会上，美国克雷数学研究所根据当代著名数学家整理和提出的数学难题，选定了7个"千年大奖难题"，悬赏700万美元来鼓励数学界的能人能士解决这7个世界难题。

庞加莱猜想

1904年，法国数学家亨利·庞加莱（Henri Poincaré）在提出这个猜想："任何一个单连通的，封闭的三维流形一定同胚于一个三维的球面。"

换一种简单的说法就是：

一个闭的三维流形就是一个没有边界的三维空间；单连通就是这个空间中每条封闭的曲线都可以连续的收缩成一点，或者说在一个封闭的三维空间，假如每条封闭的曲线都能收缩成一点，这个空间就一定是一个三维圆球。

为了大家便于理解庞加莱猜想，有人给出了一个十分形象的例子：假如在一个完全封闭（足够结实）的球形房子里，有一个气球（皮是无限薄的），现在我们将气球不断吹大，到最后，气球的表面和整个房子的墙壁是完全贴住，没有缝隙。

面对这个看似十分简单的猜想，无数位数学家前仆后继，绞尽脑汁，甚至是倾其一生都没能证明这个猜想。

希腊数学家帕帕奇拉克普罗斯直到临终前都在为庞加莱猜想的证明而努力，最后只能把一叠厚厚的手稿交给了一位数学家朋友保管。

直到2003年，俄罗斯的数学家格里戈里·佩雷尔曼十分大胆地将他花费了8年时间的研究成果，上传到专门刊登学术论文的网站上，说自己已经证明庞加莱猜想。

2005年10月，佩雷尔曼的证明终于通过了专家的验证，他成为了“千禧年数学大奖”的第一位也是至今唯一一位获奖人。（其他6个还没解决）

霍奇猜想

英国数学家道格拉斯·霍奇(Douglas Hodge）在国际数学大会上提出了这个猜想：“在非奇异复射影代数簇上，任一霍奇类是代数闭链类的有理线性组合。”

霍奇猜想集中体现了现代数学发展中抽象特征在滚雪球般扩大的趋势，霍奇猜想的解决将在数学三大分支（分析、拓扑、代数几何）之间找到某种基本的内在联系。

霍奇猜想是代数几何里的一个重大问题，不过，到现在对于这个问题的解决几乎是没有什么进展。

黎曼猜想

在1900年在国际数学大会上希尔伯特提出的23个数学问题中的第8个问题就是黎曼假设，而经历了100年，还是没有人能解决，于是，在2000年千年数学大会上克雷研究所再次将黎曼猜想提出来，将其列为世界七大难题之一。

关于黎曼猜想的提出，也是十分有趣。

1859年，德国数学家黎曼（Riemann）被选为了柏林科学院的通信院士。黎曼对柏林科学院给予他的这一份崇高的荣誉表示非常感激，而为了表达自己的感激之情，他决定将自己的一篇论文献给柏林科学院。

这篇论文就是《论小于给定数值的素数个数》，研究的就是数学家们一直很感兴趣的一个问题——素数的分布。黎曼将素数的分布问题归结为函数的问题，认为有一个特殊的函数（黎曼ζ函数），使其取值为零的一系列的特殊的点（黎曼ζ函数的非平凡零点）决定着素数分布的细致规律。

不过，

“懒人”黎曼

的这篇论文仅仅只有8页，里面的内容极为简练，惜字如金得让好几代数学家为之“吐血”。

黎曼列出了黎曼ζ函数的一些重要性质，而估计是关于这些性质的证明在黎曼眼里根本不是事儿，所以，在这些性质的后面，都静悄悄地跟着一个让数学家抓狂的“证明从略”。。。（黎曼表示只是想让其他数学家练练手）

幸运的是，在黎曼去世后的一百多年里，世界上最优秀的数学家已经成功证明了黎曼的这些断言，而且在探索的过程中，许多新的数学分支也由此产生。

唯有一个断言至今都还没有解决，而且黎曼也明确表明了这个命题自己也无法证明，这就是黎曼猜想：

关于黎曼ζ函数的那些非平凡零点，它们都分布在一个带状区域上（已被证明），黎曼猜测它们全都位于该带状区域正中央的一条直线上（临界线），这就是所谓的黎曼猜想。

黎曼猜想是当今数学界最重要、最期待解决的数学难题。它与众多的数学命题有密切关联。

据统计，在当今数学文献中以黎曼猜想(或其推广形式)的成立为前提的数学命题就已经超过1000多条。如果黎曼猜想被证明，所有那些数学命题就全都可以荣升为定理；反之，如果黎曼猜想被否证，则那些数学命题中起码有一部分将成为陪葬。

BSD猜想

贝赫(Birch)和斯维讷通-戴尔(Swinnerton-Dyer)猜想是指：对有理数域上的任一椭圆曲线，其L函数在1的化零阶等于此曲线上有理点构成的阿贝尔（Abel）群的秩。

在2012年，中国数学家田野在浦港工大作了关于BSD猜想的报告，连续用5个多小时来证明了“存在无数个同余数”，震惊全场。

而该领域泰斗剑桥大学教授约翰·科茨（JohnCoates）也给予了高度的评价：虽然这并不是完美的答案，但是对于解决BSD猜想确实是一个巨大的飞跃。

NP-C问题

在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。这样就会浪费很多时间。

所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算。人们于是就猜想，是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢?

这就是斯蒂文·考克于1971年提出的NP=P?的猜想（到底是NP等于P，还是NP不等于P）。

NP（Non-deterministic Polynomial）是多项式复杂程度的非确定性问题。而如果任何一个NP问题都能通过一个多项式时间算法转换为某个NP问题，那么这个NP问题就称为NP完全问题（Non-deterministic Polynomial complete problem）。

NP完全问题是NP类中“最难”的问题，也就是说它们是最可能不属于P类的。这是因为任何NP中的问题可以在多项式时间内变换成为任何特定NP完全问题的一个特例。属于计算机科学理论的一个基本概念。

NP完全问题排在了百万美元大奖的首位，出现在了纯粹科学研究，通信、交通运输、工业设计和企事业管理部门，社会军事、政治和商业的斗争等各个领域，但是除了运用穷举法求解（计算的时间随问题的复杂程度成指数的增长，很快就会变得不可计算。）之外，人们还没发现有价值的求解方法。

杨-米尔斯理论

1954年，物理学家杨振宁和R.L.米尔斯提出了规范场理论，即杨-米尔斯理论(Yang-Mills)，理论中出现的杨-米尔斯方程是一组数学上未曾考虑到的极有意义的非线性偏微分方程。他们发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。

而基于杨-米尔斯方程的预言也已经被全世界范围内的高能实验所证明。

然而，已经被大多数物理学家所确认，并且在他们的对于"夸克"的不可见性的解释中应用的"质量缺口"假设，从来没有得到一个数学上令人满意的证实。

N-S方程

斯托克斯

纳维叶-斯托克斯(Navier-Stokes)方程是指描述粘性不可压缩流体动量守恒的运动方程。是由纳维于1821年以及斯托克斯于1845年分别建立的，

在直角坐标系中，其矢量形式为＝－p＋ρF＋μΔv，式中ρ为流体密度，p为压强，u为速度矢量，F为作用于单位质量流体的彻体力，为哈密顿算子 ，Δ为拉普拉斯算子。

N-S方程反映了粘性流体流动的基本力学规律，在流体力学中有十分重要的意义。

它描述了大量对学术和经济有用的现象的物理过程。它们可以用于建模天气，洋流，管道中的水流，星系中恒星的运动，翼型周围的气流。它们也可以用于飞行器和车辆的设计，血液循环的研究，电站的设计，污染效应的分析等等。

它是一个非线性偏微分方程，求解非常困难和复杂，目前只有在某些十分简单的流动问题上能求得精确解；但在有些情况下，可以简化方程而得到近似解。

数学家和物理学家深信，无论是微风还是湍流，都可以通过理解N-S方程的解，来对它们进行解释和预言。

直到现在，关于N-S方程的存在性与光滑性的奥秘，人类还在继续探索中。。。

看完这7个世界难题，超模君觉得，还是码字最美好了。。。

本文系网易新闻·网易号“各有态度”特色内容

“超级数学建模”（微信号supermodeling），每天学一点小知识，轻松了解各种思维，做个好玩的理性派。60万数学精英都在关注！