与黎曼猜想同样值钱的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）。