黎曼猜想是关于黎曼ζ函式ζ(s)的零点分布的猜想，由数学家黎曼于1859年提出。希尔伯特在第二届国际数学家大会上提出了20世纪数学家应当努力解决的23个数学问题，被认为是20世纪数学的制高点，其中便包括黎曼假设。现今克雷数学研究所悬赏的世界七大数学难题中也包括黎曼猜想。
与费尔马猜想时隔三个半世纪以上才被解决，哥德巴赫猜想历经两个半世纪以上屹立不倒相比，黎曼猜想只有一个半世纪的纪录还差得很远，但它在数学上的重要性要远远超过这两个大众知名度更高的猜想。黎曼猜想是当今数学界最重要的数学难题。目前有讯息指奈及利亚教授奥派耶米伊诺克(OpeyemiEnoch)成功解决黎曼猜想，然而克雷数学研究所既不证实也不否认伊诺克博士正式解决了这一问题。
在arxiv网站上有一篇文章指出 ，1932年德国数学家C.L.Siegel整理的黎曼遗稿中给出了黎曼猜想的证明。文章的作者根据手稿中的一个结论性公式，直接推导出来ζ(s)函式在矩形区域的零点全部落在临界线上。
黎曼猜想是黎曼1859年提出的，这位数学家于1826年出生在一座如今属于德国，当时属于汉诺瓦王国的名叫布列斯伦茨的小镇。1859年，黎曼被选为了柏林科学院的通信院士。作为对这一崇高荣誉的回报，他向柏林科学院提交了一篇题为"论小于给定数值的素数个数"的论文。这篇只有短短八页的论文就是黎曼猜想的"诞生地"。
黎曼那篇论文所研究的是一个数学家们长期以来就很感兴趣的问题，即素数的分布。素数是像2、5、19、137那样除了1和自身以外不能被其他正整数整除的数。这些数在数论研究中有着极大的重要性，因为所有大于1的正整数都可以表示成它们的乘积。从某种意义上讲，它们在数论中的地位类似于物理世界中用以构筑万物的原子。素数的定义简单得可以在中学甚至国小课上进行讲授，但它们的分布却奥妙得异乎寻常，数学家们付出了极大的心力，却迄今仍未能彻底了解。
黎曼论文的一个重大的成果，就是发现了素数分布的奥秘完全蕴藏在一个特殊的函式之中，尤其是使那个函式取值为零的一系列特殊的点对素数分布的细致规律有着决定性的影响。那个函式如今被称为黎曼ζ函式，那一系列特殊的点则被称为黎曼ζ函式的非平凡零点。
有意思的是，黎曼那篇文章的成果虽然重大，文字却极为简练，甚至简练得有些过分，因为它包括了很多"证明从略"的地方。而要命的是，"证明从略"原本是应该用来省略那些显而易见的证明的，黎曼的论文却并非如此，他那些"证明从略"的地方有些花费了后世数学家们几十年的努力才得以补全，有些甚至直到今天仍是空白。但黎曼的论文在为数不少的"证明从略"之外，却引人注目地包含了一个他明确承认了自己无法证明的命题，那个命题就是黎曼猜想。 黎曼猜想自1859年"诞生"以来，已过了一百五十多个春秋，在这期间，它就像一座巍峨的山峰，吸引了无数数学家前去攀登，却谁也没能登顶。
当然，如果仅从时间上比较的话，黎曼猜想的这个纪录跟费尔马猜想时隔三个半世纪以上才被解决，以及哥德巴赫猜想历经两个半世纪以上屹立不倒相比，还差得很远。但黎曼猜想在数学上的重要性却要远远超过这两个大众知名度更高的猜想。有人统计过，在当今数学文献中已有超过一千条数学命题以黎曼猜想(或其推广形式)的成立为前提。如果黎曼猜想被证明，所有那些数学命题就全都可以荣升为定理;反之，如果黎曼猜想被否证，则那些数学命题中起码有一部分将成为陪葬。一个数学猜想与为数如此众多的数学命题有着密切关联，这是极为罕有的。
1901年Helge von Koch指出，黎曼猜想与强条件的素数定理等价。
黎曼观察到，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函式ζ()的性态。黎曼假设断言，方程ζ(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。
黎曼ζ 函式 ζ(s) 是级数表达式
在复平面上的解析延拓。
之所以要对这一表达式进行解析延拓， 是因为这一表达式只适用于复平面上 s 的实部 Re(s) > 1 的区域 (否则级数不收敛)。黎曼找到了这一表达式的解析延拓(当然黎曼没有使用 "解析延拓" 这样的现代复变函数论术语)。运用路径积分，解析延拓后的黎曼ζ 函式可以表示为:
这里我们采用的是历史文献中的记号， 式中的积分实际是一个环绕正实轴进行的围道积分(即从 +∞ 出发， 沿实轴上方积分至原点附近， 环绕原点积分至实轴下方， 再沿实轴下方积分至 +∞ ，而且离实轴的距离及环绕原点的半径均趋于 0)，按照现代数学记号应记成:
其中积分路径C跟上面所述相同，环绕正实轴，可以形象地这样表示:
式中的 Γ 函式 Γ(s) 是阶乘函式在复平面上的推广， 对于正整数 s>1:Γ(s)=(s-1)!。可以证明， 这一积分表达式除了在 s=1 处有一个简单极点外在整个复平面上解析。这就是黎曼ζ 函式的完整定义。
运用上面的积分表达式可以证明，黎曼ζ 函式满足以下代数关系式:
从这个关系式中不难发现，黎曼ζ 函式在 s=-2n (n 为正整数) 取值为零 - 因为 sin(πs/2) 为零。复平面上的这种使黎曼ζ 函式取值为零的点被称为黎曼ζ 函式的零点。因此 s=-2n (n 为正整数)是黎曼ζ 函式的零点。这些零点分布有序、 性质简单， 被称为黎曼ζ 函式的平凡零点 (trivial zero)。除了这些平凡零点外，黎曼ζ 函式还有许多其它零点， 它们的性质远比那些平凡零点来得复杂， 被称为非平凡零点 (non-trivial zeros)。
黎曼猜想提出:
黎曼ζ 函式的所有非平凡零点都位于复平面上 Re(s)=1/2 的直线上。也即方程ζ(s)=0的解的实部都是1/2。
在黎曼猜想的研究中， 数学家们把复平面上 Re(s)=1/2 的直线称为 critical line(临界线)。运用这一术语，黎曼猜想也可以表述为:黎曼ζ 函式的所有非平凡零点都位于 critical line 上。
黎曼猜想由德国数学家黎曼(Bernard)于1859年提出，其中涉及了素数的分布，被认为是世界上最困难的数学题之一。荷兰三位数学家J.van de Lune，H.J.Riele te及D.T.Winter利用电子计算机来检验黎曼的假设，他们对最初的二亿个齐打函式的零点检验，证明黎曼的假设是对的，他们在1981年宣布他们的结果，他们还继续用电子计算机检验底下的一些零点。
1982年11月苏联数学家马帝叶雪维奇在苏联杂志《Kiberika》宣布，他利用电脑检验一个与黎曼猜想有关的数学问题，可以证明该问题是正确的，从而反过来可以支持黎曼的猜想很可能是正确的。
1975年美国麻省理工学院的莱文森在他患癌症去世前证明了No(T)>0.3474N(T)。
1980年中国数学家楼世拓、姚琦对莱文森的工作有一点改进，他们证明了No(T)>0.35N(T)。
1932年C.L.Siegel发表的文章中 ，有下面这样一个公式:
文章 的作者根据这个公式的几何意义以及cos函式的零点性质，直接推导出来No(T)=N(T)，即证明了区域内的零点全部落在临界线上。
C.L.Siegel从黎曼的遗稿 *** 整理出来四个公式，其中有三个公式在文献和教科书中经常出现 ，唯独上面这个公式，80多年来很少有文献提到它，就连C.L.Siegel 本人对于这个公式的作用也大惑不解。实际上，只要跳出解析数论来看黎曼手稿，就能清楚地看到，黎曼用复分析的几何思想严格的证明了现代所说的"黎曼猜想"。这也许是数学史上最大的冤案。
2016年11月17日，奈及利亚教授奥派耶米 伊诺克(Opeyemi Enoch)成功解决已存在156年的数学难题——黎曼猜想，获得100万美元(约合人民币630万元)的奖金。
2000年，美国克莱数学研究所(Clay Mathematics Institute)将黎曼猜想列为七大千年数学难题之一。
2018年9月，麦可·阿蒂亚声明证明黎曼猜想，将于9月24日海德堡获奖者论坛上宣讲，麦可·阿蒂亚贴出了他证明黎曼假设（猜想）的预印本。
2018年9月24日，德国海德堡，著名数学家阿蒂亚爵士（Michael Atiyah）在演讲时表示，自己已证明了黎曼猜想。
利用todd函式反证法，证明了所有零点都在临界线上。他公开了这篇研究论文，总共5页。在论文中，借助量子力学中的无量纲常数α（fine structure constant），阿蒂亚声称解决了复数域上的黎曼猜想。
阿蒂亚说他希望理解量子力学中的无量纲常数——精细结构常数。因为精细结构常数大约等于1/137，刻画的是电磁相互作用的强度。比如在氢原子中，我们大致可以说电子绕原子核的速度是1/137再乘上光速。
阿蒂亚指出，理解精细结构常数只是最初的动机。在这个过程中发展出来的数学方法却可以理解黎曼猜想。
最后，在论文的最后，阿蒂亚说，精细结构常数与黎曼猜想，用他的方法，已经被解决了。当然他只解决了复数域上的黎曼猜想，有理数域上的黎曼猜想，他还需要研究。另外，随着黎曼猜想被解决，阿蒂亚认为，bsd猜想也有希望被解决。当然，现在阿蒂亚认为，引力常数G是一个更难理解的常数。
在黎曼猜想中，我们看到非平凡零点的实部都等于1/2，这是一个让人很意外的常数。虽然我们可以从一个简单的对称关系中看出为什么会出现1/2。
1-s=s，所以 s=1/2
黎曼(Riemann，Gee Friedrich Bernhard，1826-1866，德国数学家)是黎曼几何的创始人。他在读博士学位期间，研究的是复变函式。他把通常的函式概念推广到多值函式，并引进了多叶黎曼曲面的直观概念。他的博士论文受到了高斯的赞扬，也是他此后十年工作的基础，包括:复变函数在Abel积分和 theta函式中的套用，函式的三角级数表示，微分几何基础等。
黎曼猜想是黎曼在 1859 年提出的。在证明素数定理的过程中，黎曼提出了一个论断:Zeta函式的零点都在直线Res(s) = 1/2上。他在作了一番努力而未能证明后便放弃了，因为这对他证明素数定理影响不大。但这一问题至今仍然未能解决，甚至于比此假设简单的猜想也未能获证。而函式论和解析数论中的很多问题都依赖于黎曼假设。在代数数论中的广义黎曼假设更是影响深远。若能证明黎曼假设，则可带动许多问题的解决。
黎曼猜想是纯数学中最重要的未解决的证明，已经伴随着数学家们走过了沧桑百年的历程，下面我们来说说黎曼猜想。
关于黎曼ζ函数ζ(s)的零点分布的猜想，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态,方程ζ(s)=0的所有有意义的解都在一条直线上。
黎曼猜想是波恩哈德·黎曼1859年提出的，这位数学家于1826年出生在当时属于汉诺威王国的名叫布列斯伦茨的小镇。1859年，黎曼被选为了柏林科学院的通信院士。作为对这一崇高荣誉的回报，他向柏林科学院提交了一篇题为“论小于给定数值的素数个数”的论文。这篇只有短短八页的论文就是黎曼猜想的“诞生地”。
关于黎曼ζ函数ζ(s)的零点分布的猜想，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态,方程ζ(s)=0的所有有意义的解都在一条直线上。
黎曼那篇论文所研究的是一个数学家们长期以来就很感兴趣的问题，即素数的分布。素数又称质数。质数是像2、5、19、137那样除了1和自身以外不能被其他正整数整除的数。这些数在数论研究中有着极大的重要性，因为所有大于1的正整数都可以表示成它们的乘积。从某种意义上讲，它们在数论中的地位类似于物理世界中用以构筑万物的原子。质数的定义简单得可以在中学甚至小学课上进行讲授，但它们的分布却奥妙得异乎寻常，数学家们付出了极大的心力，却迄今仍未能彻底了解。
出品：科学大院
作者：黄逸文（中国科学院数学与系统科学研究院）
监制：中国科学院计算机网络信息中心 中国科普博览
上周五，我们在《黎曼猜想（一）：通往质数的征途》一文中介绍到，黎曼针对非平凡零点提出了三个命题，今天我们就来讲讲这三个命题以及此后引发的一系列故事。
黎曼的三个命题
短短八页的论文里，黎曼给后人留下了卓绝非凡的智慧和思想，也为后世留下了魅力无穷的谜团。文章里的证明因为篇幅限制而多被省略，吝惜笔墨的黎曼却让身后数百年的数学大家费尽心思、相形见绌。这篇格局宏大、视野开阔的论文站在了时代的最前沿，其高瞻远瞩的目光和魄力直到今日仍然指引着主流数学界的方向。
在第一个命题的某一步证明里，黎曼用轻松的语气写道：这是不言而喻的普适性的结果。但就是这样一个似乎不值一提的结果，却花费了后人40年的时间苦苦探索。芬兰数学家梅林因为在这一小步上的贡献而名垂青史。此后，在黎曼眼中一笔带过的第一命题最终才由德国数学家蒙戈尔特（Mangoldt）在46年后给出完整的证明。
针对第二命题，黎曼用了相当肯定的语气指出其正确性。遗憾的是，他没有给出任何证明的线索，只是在与朋友的一封通信里提及：命题的证明还没有简化到可以发表的程度。然而黎曼毕竟高估了读者的能力，第二个命题犹如一座巍峨的大山压在了后世数学家的心中，直到今天也踹不过气来。一个半世纪过去了，人们还在为寻找第二命题的证明而陷入深思，似乎丝毫找不到破解它的希望。
更让人们绝望的是，黎曼在论及第三命题时，破天荒地没有使用肯定的语气，而是谨慎地说道：这很有可能是正确的结论。作为复变函数功彪千古的大师，黎曼此时也失去了信心，只能借助试探的口吻表达自己的观点。也正是这个让黎曼犹豫而止步的命题，终成了数学史上最为壮美险峻的奇峰。
有人曾经质疑黎曼是否真的证明了第一和第二命题，他随意写下的结论仅仅是重复法国数学家费马（Fermat）曾经的覆辙：把错误的想法当成了真理。
1637年，爱好数学的大法官费马在一本书的页边写下了他对一个问题的看法：他发现了一个简洁的证明，但是由于纸张太小无法写下来。这就是被后世称为费马猜想的问题，其完整的证明直到358年后的1995年才由英国数学家怀尔斯借助最艰深的现代工具所完成。
但是，人们很快打消了疑虑。从黎曼遗留下来的部分草稿来看，他的数学思想和功力已经远远超越同时代的数学家。即使是几十年后被陆续发现的手稿中体现出来的能力水平，也让当时的数学家难以望其项背。因此，人们有理由相信，这是一个伟大数学家的自信和坦然。
尽管黎曼猜想成立与否不得而知，数学家们还是倾向于它的正确性。一个半世纪以来，人们在假设黎曼猜想成立的情况下，以它作为基石，已经建立了一千多条定理，并且打造了无比辉煌的数论大厦。然而一旦黎曼猜想找到反例被证伪，这些精美的大楼就会如空中楼阁一样昙花一现，最终崩塌，给数论带来灾难性的结果。
质数分布规律
质数作为一类特殊的整数，任性而古怪，它们悄悄地隐藏在浩浩荡荡的自然数列里，以自己独有的奔放奏出魅力四射的音符。这曲神秘的质数音律，不知让多少追寻真理呼唤的人为之陶醉，为之倾注毕生精力，只为找到质数起舞的脚步和节拍。
遗憾的是，骄傲的质数们都是孤独的行者，在数千年的时光里静静地等待着能读懂它的真命天子。从欧拉（Euler）开始，人们终于得以在无边无际的整数世界里一瞥质数的浮光掠影。
黎曼（Riemann）一举揭示了质数最深处的秘密，优雅地给出了质数分布的精确表达式。人们第一次能够近距离窥视质数们在自然界跳舞的规律，是那样的豪放与不羁，平静时如温柔的月光洒在无波的大海，奔腾时又如滔天巨浪倾泻在一叶孤舟，让人爱恨交织、目驰神移。
然而，质数并不是完全随性而为，它的表现始终臣服在黎曼Zeta函数零点的分布规律上。因此，破译黎曼猜想就等于完全确定了质数跳舞的规律和秩序，无疑将开启数论中最激动人心的篇章。也因此，黎曼猜想成了无数人心目中梦想征服的珠穆朗玛峰。登上这座高峰的勇士，也将和历史上最伟大的名字连接在一起，成为后人敬仰和追随的英雄。
在黎曼的时代，质数定理虽然经由高斯（Gauss）和勒让德（Legendre）提出，但却是未经证实的猜想。它让最捉摸不定的质数在阳光下现出了踪迹。当时最杰出的数学大师也为此倾心，试图证明质数定理。
解决质数定理
在黎曼提出的第一个命题里，数学家很容易证明Zeta函数的零点位于实部不小于0，不大于1的带状区域上，但是无法排除实部等于0和1的两条直线。令人惊喜的是，人们很快发现如果能证明黎曼眼中显而易见的第一命题中的某一关键结论，则可以直接证明质数定理。
在黎曼提交论文的36年后，数学家哈达玛（Hadamard）等人不负众望，终于证明了该结论，也顺带解决了质数定理，从而完成了自高斯以来众多数学大师的心愿。
然而黎曼在第一命题里所轻松描述的全部结论，直到46年后的1905年才由蒙戈尔特（Mangoldt）完成。
黎曼猜想的一个小小命题里就蕴含着如此巨大的能量，自此以后，数学家把注意力都集中到了黎曼猜想的攻坚上来。
于是，1900年的巴黎，希尔伯特（Hilbert）代表数学界提出了23个影响深远的问题，黎曼猜想作为第8个问题的一部分而被世人所知。百年轮回，时至今日，23个问题中已经有19个确定解决，还有3个部分解决。黎曼猜想依然如巍峨的奇山，矗立在人类的智力巅峰之上。
鉴于黎曼猜想的巨大难度，人们无法一步征服如此雄伟的山峰，只能在山脚和山腰寻找攀登的线索。一批数学家另辟蹊径，不再驻足于寻求黎曼猜想的证明上，而是去计算黎曼猜想的零点。如果一旦发现某一个零点并不位于实部是0.5的直线上，这就等价于找到一个反例，从而证实黎曼猜想并不成立。
1903年，丹麦数学家第一次算出了前15个非平凡零点的具体数值。在黎曼猜想公布44年后，人们终于看到了零点的模样。毫无意外的是，这些零点的实部全部都是0.5。
1925年，李特尔伍德（Littlewood）和哈代（Hardy）改进了计算方法，算出前138个零点，这基本达到了人类计算能力的极限。
过于庞大的计算量，让后人放弃了继续寻找零点的努力。而为了选择更多的非平凡零点，人们还在黑暗中苦苦摸索。没想到，这一次，曙光来自于黎曼的遗稿。
