近日，菲尔兹和阿贝尔奖双料得主 Michael Atiyah 宣称自己证明了黎曼猜想，这是数学界一次大地震！
黎曼猜想是关于黎曼ζ函数ζ(s)的零点分布的猜想。德国数学家戴维·希尔伯特在第二届国际数学家大会上提出了20世纪数学家应当努力解决的23个数学问题，其中便包括黎曼假设。现今克雷数学研究所悬赏的世界七大数学难题中也包括黎曼假设。
虽然在知名度上，黎曼猜想不及费尔马猜想和哥德巴赫猜想，但它在数学上的重要性要远远超过后两者，是当今数学界最重要的数学难题，当今数学文献中已有超过一千条数学命题以黎曼猜想（或其推广形式）的成立为前提。
黎曼猜想是波恩哈德·黎曼1859年提出的，这位数学家于1826年出生在当时属于汉诺威王国的名叫布列斯伦茨的小镇。1859年，黎曼被选为了柏林科学院的通信院士。作为对这一崇高荣誉的回报，他向柏林科学院提交了一篇题为“论小于给定数值的素数个数”的论文。这篇只有短短八页的论文就是黎曼猜想的“诞生地”。
黎曼那篇论文所研究的是一个数学家们长期以来就很感兴趣的问题，即素数的分布。素数又称质数。质数是像2、5、19、137那样除了1和自身以外不能被其他正整数整除的数。这些数在数论研究中有着极大的重要性，因为所有大于1的正整数都可以表示成它们的乘积。从某种意义上讲，它们在数论中的地位类似于物理世界中用以构筑万物的原子。质数的定义简单得可以在中学甚至小学课上进行讲授，但它们的分布却奥妙得异乎寻常，数学家们付出了极大的心力，却迄今仍未能彻底了解。
黎曼论文的一个重大的成果，就是发现了质数分布的奥秘完全蕴藏在一个特殊的函数之中，尤其是使那个函数取值为零的一系列特殊的点对质数分布的细致规律有着决定性的影响。那个函数如今被称为黎曼ζ函数，那一系列特殊的点则被称为黎曼ζ函数的非平凡零点。
有意思的是，黎曼那篇文章的成果虽然重大，文字却极为简练，甚至简练得有些过分，因为它包括了很多“证明从略”的地方。而要命的是，“证明从略”原本是应该用来省略那些显而易见的证明的，黎曼的论文却并非如此，他那些“证明从略”的地方有些花费了后世数学家们几十年的努力才得以补全，有些甚至直到今天仍是空白。但黎曼的论文在为数不少的“证明从略”之外，却引人注目地包含了一个他明确承认了自己无法证明的命题，那个命题就是黎曼猜想。 黎曼猜想自1859年“诞生”以来，已过了150多个春秋，在这期间，它就像一座巍峨的山峰，吸引了无数数学家前去攀登，却谁也没能登顶。
有人统计过，在当今数学文献中已有超过一千条数学命题以黎曼猜想(或其推广形式)的成立为前提。如果黎曼猜想被证明，所有那些数学命题就全都可以荣升为定理；反之，如果黎曼猜想被否证，则那些数学命题中起码有一部分将成为陪葬。
閱讀更多 唐文辭書 的文章
