黎曼猜想被证明的意义 黎曼猜想证明现场

当下科学界最热的话题莫过于黎曼猜想了!可是黎曼猜想是什么呢?黎曼猜想被证明的意义是什么?证明黎曼猜想有什么用?网曝黎曼猜想证明现场陷入20秒尴尬沉默提问怎么回事?89岁的阿蒂亚爵士完成了他全球瞩目的黎曼猜想证明演讲，现场听众报以10多秒的掌声。接下来是提问环节。没想到，高智商听众云集的会场里，随即陷入一片沉默。“Come on!”等待20秒仍不见人提问的阿蒂亚呼吁大家勇敢一点。

黎曼猜想被证明的意义

黎曼猜想证明现场:陷入20秒尴尬沉默提问 学界反应悲观

错过了昨日 Michael Francis Atiyah 爵士的直播?没关系，这里有高清视频与完整 PPT。经过一天的发酵，关于阿蒂亚爵士此次黎曼猜想的证明，各方评价开始出现。

昨日，一场盛况空前的宣讲引爆了数学圈，89岁的阿蒂亚爵士对黎曼猜想的证明吸引了全球的关注。也因为关注人数过多，现场直播「车祸」不断：官方直播流崩溃，组织方不得不改用手机直播。

前期的手机直播质量奇差，声音和PPT内容都不清晰，导致一些读者(包括我们)漏掉了许多内容。

数小时前，Heidelberg Laureate Forum 2018 官方终于在 YouTube 上放出阿蒂亚爵士的高清演讲视频，短短数个小时已经有近 5 万次观看。

有趣的是，我们观察到黎曼猜想在中国引发的关注与讨论更大。手机直播过程中，我们能看到很多弹幕都是中文;YouTube视频评论里也有很多人刷「666」(容我做个捂脸哭的表情)。

言归正传，YouTube视频存在一个问题：PPT画面太小，看不到其中内容。读者们可以从以下链接回到阿蒂亚爵士视频直播的界面，切换PPT与人物界面，查看高清PPT内容：

关于阿蒂亚爵士的证明

黎曼猜想关注的是素数分布的问题，而素数指的是在大于1的自然数中，除了1和该数自身外，无法被其他自然数整除的数。之所以素数这么重要，是因为它在密码学中有非常广泛的应用，我们需要很大的素数作为分解质因数的元素才能保护信息。但是很快人们就发现，素数是没有分布的，也就是说，我们无法根据某个分布寻找非常大的素数，素数是随机的。

如果黎曼猜想被证明是正确的，那么它就表明素数没有什么突出的规律，也就是说它们几乎具有均匀的随机性。如果黎曼猜想得到证明，它可以说是验证了从1到n中平均有N/ln(N)个素数，因此素数基本上是按照N/ln(N)的均匀分布。注意这里的N/ln(N)只是代表我们机器学习中常见的数学期望，并不能说确切地等于N/ln(N)个素数。总之如果Atiyah证明了黎曼猜想，那么素数还必须服从大数定理，这可能对于统计学和机器学习的研究能有一些帮助。

Atiyah的证明从理解物理学中的精细结构常数α出发，并发现依靠新的函数T(s)(也就是Todd函数)，我们可以解决或至少为解决各种广泛的问题提供新方向，包括黎曼猜想。在整个演讲中，Atiyah首先介绍了复数的不可交换延伸：四元数(Quarternions)、复数、扩展欧拉公式到四元数(Euler-Hamilton公式)这些基础概念，它们是进一步提出新工具和证明方法的前提。

随后Atiyah重点介绍了证明黎曼猜想的核心新工具，即Todd多项式函数，借助这一函数与指数的无限迭代，我们可以理解精细结构常数α并尝试最终的黎曼猜想证明。其中精细结构常数α是物理学中的无量纲常数，它展示了原子物理学中原子谱线分裂的样式。

对于证明黎曼猜想的核心 Todd function T(s) 函数，Atiyah 在文档中给出了一些有趣的属性：

T是实数，即T(s�0�4)=T(s)�0�4;

T(1)=1;

T会将临界带映射到临界带，临界线映射到临界线。

Atiyah将Todd函数称为弱解析函数，这意味着它是解析函数族的弱限制。所以对于任何复数中的紧致集K，T都是解析的。如果K是凸集，那么T是自由度为K(k)的多项式函数。Todd函数同样是复合的，即弱解析函数的解析函数还是解析函数。

对于如何借助Todd函数证明黎曼猜想，读者还是研读那一页PPT吧：

这就是阿蒂亚爵士证明黎曼猜想的一页PPT

尴尬的QA环节

在阿蒂亚爵士 45 分钟宣讲结束后，组织方安排了问答环节。但人气爆棚的现场到了 QA 环节却一度陷入尴尬：主持人强调不要害羞、大胆提问，但却无人应答，阿蒂亚爵士唯有扬手「come on」。

冷场近一分钟，一位印度口音的的小哥(来自人工智能领域，非数学背景)提出了

第一个问题：是否解决了黎曼猜想?

阿蒂亚回应说，「这是由你的逻辑决定的。原始的黎曼猜想我是证明了，除非你是那种不接收反证法的数学家。」

他表示，人们倾向于接受直接事实，但我们的一些定理是反证法证明的，所以我认为我可当此荣誉。但他也补充说，其证明没有解决所有问题，后续还有很多问题，自己只是走了第一步(第一步就是解决方案)，在可以退休了。

第二个问题：什么时候可以查看公开证明?

阿蒂亚表示，其实他已经写了多篇论文，最长的一篇是关于精细结构常数。但发表不易，因为到了他这个年纪，人们(杂志)就不再发表他的论文，年纪太大了，而且肯定有错。

但论文是可以看到的。一份是关于精细结构常数的，另一份正是昨天上午流传的「5页预印版」论文。

阿蒂亚爵士也解开了这两份论文为什么用谷歌文档这样不正式的方式传播，「我甚至提交到了arXiv上，但它们不接收。」(尴尬)年龄歧视啊!

第三个问题：你曾说没人相信黎曼猜想的任何证明，因为没人证明了它。你认为人们会相信你吗?或者说你不在乎?

阿蒂亚说他确实在乎相信此证明的人，因为有人曾说过数学或者科学一般涉及两个步骤：创造与传播。如果你不宣传自己的想法，就没人知道。此外，一般人们不相信证明可能是因为它是全新的想法。

学界反应悲观

在阿蒂亚的简短证明播出之后，学界对此评价稍显冷淡。人们纷纷表达了对于证明黎曼猜想的悲观看法，同时也表示了对阿蒂亚以往巨大贡献的尊敬。无论如何，这种复杂的感情似乎在告诉数学圈外的我们：人类距离搞清楚这一「世纪猜想」还有一段距离。

「他在演讲中所展示的内容几乎不可能成为能够证明黎曼猜想的任何证据，」来自挪威科技大学的经济学家 J�0�3rgen Veisdal 表示，他此前也曾研究过黎曼猜想。「他的证明太过模糊，也太不具体了。」Veisdal 表示，他还需要更仔细地研究目前的证明，以得出更加明确的判断。

《Science》在这位著名数学家演讲后联系到了他的几位同事。他们对于当事人给出的、基于不可靠关联而得出的结论感到担忧，并表示这次证明黎曼猜想的努力最终未能成功。但目前，因为顾及到关系，还没有同事或学生愿意公开提出批评。

加州大学河滨分校(University of California, Riverside)的数学物理学家 John Baez 是少数几个愿意对阿蒂亚的主张发表批评意见的人之一。「该证明只是将一个大胆的主张叠加在另一个之上，没有任何关联的论证和真正的证据。」Baez 说道。

对于各方的批评，阿蒂亚早有预料。他在演讲之前的一封电子邮件中就表示：「演讲的观众中会有睿智的年轻学者，以及经验丰富的老科学家。我要做的是把自己抛入狮群之中，希望能够全身而退。」

在数学论坛 MathOverflow 上，人们对于阿蒂亚爵士的证明也普遍持悲观态度。Todd Trimble 表示：「在过去的五十多年里，阿蒂亚为数学界所做的贡献无人能出其右，但今天他的证明『甚至不能说它是错误(not even wrong)』。正是出于这个原因，鉴于他的划时代贡献，他应该获得足够的尊严。」

也就是说，一些学者认为阿蒂亚的证明思路成功的概率很低，同时也没有经过完整的证明(至少目前还没有公开细节)，从而谈不上探讨正确与错误。

又有知乎网友称，今天早上，清华大学数学系前系主任肖杰在一节代数课上对阿蒂亚的证明给出了自己的评价：「如果他那是对的，数学就完蛋了。」

尽管如此，人们还是表达了对于这位「二战后最强数学家」的敬仰之情：「He's still my hero.」

黎曼猜想证明现场：3分钟核心讲解、提问陷沉默，同行不予置评

40分钟后，89岁的阿蒂亚爵士(Sir Michael Francis Atiyah)完成了他全球瞩目的黎曼猜想证明演讲，现场听众报以10多秒的掌声。

接下来是提问环节。

没想到，高智商听众云集的会场里，随即陷入一片沉默。“Come on!”等待20秒仍不见人提问的阿蒂亚呼吁大家勇敢一点。

直到一分钟后，站在台上的阿蒂亚才听到第一个问题：

“黎曼猜想这算是被成功证明了吗?”

提问者应该是一位印度小哥，他来自数学家鄙视链的下下游，人工智能领域，一上来就抛出这个尖锐的问题。

阿蒂亚说，他自己觉得算是已经证明了黎曼猜想，不过如果你坚决不接受反证法的话……

当然，阿蒂亚也表示这个证明现在还不完整，接下来还有很多后续问题要解，今天只是万里长征的第一步，不过，第一步也应该算是问题的一个解。

他说：“我可以退休了。”

第二位提问观众关心论文什么时候发表，好检验一下这个证明。这样一个问题勾起了阿蒂亚的伤心事。

顺着这个提问，阿蒂亚开始吐槽了学术界的“老龄歧视”。他说：“等你到了我这个年纪，人们就不发表你的论文了，他们会说你太老了，肯定哪儿证明错了。”

他说他甚至被arXiv拒了稿，简直是歧视啊。

第三位提问的终于是个小姐姐，关心了一下阿蒂亚自己对证明黎曼猜想这件事的感受：你认为大家会相信你的证明吗?还是说你根本不在乎大家信不信?

大家信不信，阿蒂亚是很在乎的。他说，得不得奖不重要，有人听才重要。

不过，大家不信也正常，因为他发现，如果有人给旧方法找了种更聪明的用法，人们还比较容易相信，但大家不愿意相信全新的证明。

而他这次所讲的，就是一个全新的方法。

核心三分钟

作为菲尔兹奖与阿贝尔奖双料得主、英国皇家学会院士，阿蒂亚爵士于德国柏林时间9月24日上午9点45分登上讲台。

在他40分钟的演讲中，大部分在回顾历史，严格来讲，只有三分多钟在讲解他如何使用了一个简单的反证法，就证明了159年来无人能攻克的黎曼猜想。

三分多钟讲解，只有一张PPT。

阿蒂亚爵士对黎曼猜想的证明，只是推演物理学中精细结构常数α的副产品，建立在冯·诺依曼(John von Neumann)和弗里德里希·希策布鲁赫(Friedrich Hirzebruch)工作的基础之上。

也就是说，他最初也不是想根据这两位的工作来证明黎曼猜想，而是要推演精细结构常数。

精细结构常数通常被认为约等于1/137.03599913，但它究竟是怎么来的，到底是不是一个常数，困扰着无数物理学家，就像黎曼猜想困扰着数学家一样。

这个推演过程，就用上了Todd函数，这个函数是希策布鲁赫用阿蒂亚老师的名字命名的。

阿蒂亚在推演精细结构常数的过程中，发现Todd函数还能用来证明黎曼猜想，于是就有了今天这场演讲。

用Todd函数，靠反证法证明黎曼猜想的过程，全在下面这一页PPT里了：

为了避免曲解(实际也听不懂)阿蒂亚的原意，我们把现场这段三分多钟的讲解，剪出来放在这里，我们一起聆听大师现场教学：

想要进一步研究，可以参考阿蒂亚证明黎曼猜想的论文预印本。

论文获取链接:https://pan.baidu.com/s/1m6de_9f2503yZeyQPqlwvA提取码: cs2u

全文很短，只有5页。

同行不予置评

不知道这个证明，你能看懂几分。

但根据我们的观察，这个演讲发表之后，阿蒂亚爵士并没有收到太多的赞美。科技媒体New Scientist曾经联系了多位数学家，问他们怎么看阿蒂亚证明黎曼猜想的方法，但数学家们大多表示不予置评。

就像爵士演讲之后的提问环节，全场无人举手，空气像冻住了一样。

△“证明部分，就留作课后练习吧。“

从20日发布演讲预告，到昨天下午演讲结束，外界对阿蒂亚的这份证明，一直不太看好。毕竟十年来，他几乎没有做出过让学界认可的成果了。

甚至，演讲开始前传出的预印本，许多人都怀疑是假的，不相信阿蒂亚会给出那样的证明。听了演讲之后，才惊呼“啊，是真的啊。”

另外，阿蒂亚爵士在演讲中提到，证明过程中用到的最重要的工具，是Todd函数。

针对这一点，有不止一个网友表示，“这跟Todd函数没啥关系啊，就是多项式而已。”

另外据《文汇报》报道，对于阿蒂亚这次的工作，有同行在网上表示，为了尊重这位曾经做出过非常杰出而漂亮工作的伟大数学家，就不要再讨论了，因为他的证明是“not even wrong”。

在科学界，这个英语短语描述了一个声称是科学的论点或解释，但是基于无效的推理或推测前提。因此，它指的是不能严格地、科学地讨论的论述。

再看看学术讨论之外的世界，推特用户的娱乐精神就比较充足：

“我跟导师聊起阿蒂亚证明黎曼假说的事。他说每个人，不管 (前一秒) 是在带孩子，还是在呼吸，还是在干嘛，都纷纷放下手上的事，开始证明黎曼假说了。”

妄自解读了一下这条评论，大概是说，这样就能证明的话，是人都能证明了。

当然，负面评价也不是全部。

有人指出，这份证明，只是阿蒂亚其他研究的一个推论(Corollary) ，而那些研究外界都没有看过，无从评价对错。真正的问题在于，Todd函数到底是怎么用的。

阿蒂亚本人也说，这个证明只是“万里长征第一步 (the First Step on a Long Road) ”，还有很多需要补充的东西。

不过，他依然相信，自己有理由把 (证明黎曼猜想的) 100万美元收入囊中。

全程视频+PPT

阿蒂亚此次演讲+问答的全程，视频在此：

如果你想下载观摩阿蒂亚此次演讲使用的PPT，这里是下载地址：https://pan.baidu.com/s/1akir2ySSlHbU4lxyYfI9CA(提取码: qeb7)

黎曼猜想简史

所以讲了这么多，黎曼到底猜想了啥?

一个找质数的方法。

质数，就是自然数中那些只能被1和它自己整除的整数。比如2、3、5、7、11、13、17、19、23……这些数。

质数看起来似乎没什么规律，在数轴上突然地出现，又突然地消失，从古希腊开始，人们就被这个“玄学”所困扰：

质数啊，你们到底有没有什么规律?

然而当时，古希腊人对质数除了定义之外的唯一知识就是：

自然界有无数个质数。

这个证明来自于欧几里得，他用反证法证明了这一点。

之后的1600年，人们对于素数的认知毫无进展。

研究调和级数的奥里斯姆大佬

时间一跃来到了中古晚期，法国瓦卢瓦王朝国王查理五世的顾问，title包括经济学家、数学家、物理学家、天文学家、哲学家、音乐学家、神学家等一长串的一位大佬尼克尔·奥里斯姆(Nicole Oresme)研究出了一个新的函数：调和级数发散

是不是觉得看起来很玄学?

他的证明过程就很简单了，非常的奥数style。

△调和级数发散的证明，小学数学就能看懂

调和级数发散看起来跟质数似乎没啥关系，但是就是这个式子，一不小心给后来的黎曼猜想奠定了基础。

欧拉老师的乘积公式

奥里斯姆大佬告别历史舞台353年之后，轮到欧拉老师秀了。

莱昂哈德·欧拉(Leonhard Eule)，就是那个从陪伴大家从中学到高数到复变函数的欧拉老师，他发现了一个名叫欧拉乘积公式的函数：

这个公式仿佛冥冥中和质数的分布有某种联系，数学王子高斯(Gauss)和另一位数学大师勒让德(Legendre)就感觉到了这一点，俩人不约而同的提出了质数定理：

从不大于n的自然数中随机选一个，它是质数的概率大约是1/ln n。

黎曼大神登场

前面四位数学家做了一些铺垫之后，主角黎曼大神终于登上了历史舞台。

黎曼33岁那一年，当上了柏林科学院的通信院士，这可是非常高的荣誉，黎曼一开心，想想来这么好一家单位不能白来，我来的时候以单位为荣，我走的时候就要单位以我为荣。

怎么以我为荣呢?黎曼就写了一篇牛逼哄哄的论文，题目叫《论小于已知数的质数的个数》，翻译成人话就是：质数是怎么分布的。

这篇论文里，黎曼提出了一个函数，被后世称为黎曼ζ函数(ζ，读音Zeta)。

如果把它展开，你就会发现，黎曼ζ函数长得跟前面奥里斯姆调和级数发的式子差不多。

之后，黎曼还定义了两类零点：

平凡零点：某个三角sin函数的周期零点;

非平凡零点：ζ函数自身的零点。

针对非平凡零点，黎曼提出了三个命题：

第一个命题，黎曼指出了非平凡零点的个数，且十分肯定其分布在实部大于0但是小于1的带状区域上。

黎曼大神形容“这是不言而喻的普适性的结果”，意思就是“这特么简直是废话，还用说吗?”

可是地球上的其他人类不这么觉得。46年后，在芬兰数学家梅林和德国数学家蒙戈尔特的努力下，第一个命题终于被证明了。

第二个命题，黎曼提出所有非平凡零点都几乎全部位于实部等于1/2的直线上。

这个命题，黎曼大神自己证出来了，可是他不说，因为他觉得命题的证明还没有简化到可以发表的程度。

这些地球上的其他数学家懵逼了：大神你不说就撒手西去了，这得让我们活着的数学家急死啊!

所以这个黎曼觉得很简单的命题，地球上的其他数学家至今还处在一脸懵逼的状态中。

第三个命题，黎曼不像前两个那么确定了，他用十分谨慎的语气写到：很可能所有非平凡零点都全部位于实部等于1/2的直线上。这条线，从此被称为临界线。

注意，黎曼猜想终于出现了!就是这第三个命题。

从此，黎曼猜想就开始折磨数学家们：到底能不能证明?能证明还是证伪?什么时候才能证明?

数学家们纠结到什么程度呢?

如果能穿越到500年后，德国数学家希尔伯特醒来的第一句话就是：黎曼猜想被证明还是证伪了?

美国数学家蒙哥马利也说，如果有魔鬼答应让数学家们用自己的灵魂来换取一个数学命题的证明，多数数学家想要换取的将会是黎曼猜想的证明。

黎曼猜想，简直是数学界の终极奥义。

后世数学家的烧脑历史

虽然黎曼猜想很难证明，不过别忘了前面的第二个命题，他自己证明了，还不说，黎曼大神可是一个喜欢藏着掖着的人啊!

于是后世数学家们就开始扒拉黎曼遗留的手稿。

万万没想到，黎曼大神自己谨慎到证明没简化就不发，可是黎曼大神的管家是个粗心汉。他想都没想，就把主子遗留的手稿给烧了。

不过，好歹黎曼的遗孀是个聪明人，她看管家犯傻，就赶紧去抢救了一部分手稿出来，送给了黎曼生前好友、另一位数学家戴德金。

可是送过去之后，黎曼夫人后悔了：万一那些手稿里有黎曼给我写的情书呢?

她就找戴德金把大部分手稿要回来了，剩下的被戴德金献给了哥根廷大学图书馆。

因为天才的思路普通人往往跟不上，这些手稿看起来很难懂。不过，关于手稿的故事我们告一段落，后面它会发挥巨大的价值。

下面，则是历代数学家们一步步靠近黎曼猜想真理的过程。

阿达马与普森

黎曼去世30年后，法国数学家雅克·阿达马和英国天文学家诺曼·普森两位也不约而同了一下，他们几乎同时证明了ζ(s)的所有非平凡零点的实部均小于1，即Re(s)=1上无非平凡零点。

所以这也就是素数定理。

玻尔与兰道

时间走到了一战爆发那年。

丹麦数学家哈拉尔德·玻尔和德国数论家爱德蒙·兰道开始了一场合作，证明了玻尔-兰道定理：

含有临界线的任意带状区域都几乎包含了ζ的所有非平凡零点，表明了临界线为零点汇聚的“中心位置”。

零点现世

黎曼一直在讲“零点”。

可是，他要的零点在哪儿?没人知道。

1903年，丹麦数学家第一次算出了前15个非平凡零点的具体数值。在黎曼猜想公布44年后，人们终于看到了零点的模样。

毫无意外的是，这些零点的实部全部都是0.5。

哈代与利特尔伍德

1921年，英国数学家戈弗雷·哈代和约翰·李特尔伍德证明了存在常数T，使临界线上虚部位于0与T之间的非平凡零点的数量至少为KT。

四年后，两人还算出前138个零点，这基本达到了人类计算能力的极限。

沉迷手稿的西格尔

还记得前面的手稿么?终于有人看明白啦!

1932年，德国数学家西格尔(Siegel)在手稿中发现了一个被尘封了73年的公式：

△来自维基百科截图

这个公式表明，黎曼当年发表第三命题不是拍脑门瞎说的，而是经过了深刻的思考和计算。为了纪念西格尔对手稿的辛苦挖掘，这个公司后来被叫做黎曼-西格尔公式。

利用黎曼-西格尔公式，后来的数学家们就可以开心的找零点了。

挪威数学家塞尔伯格(Selberg)证明了临界线上的零点个数占全部非平凡零点个数的比例大于零，这意味着临界线上的零点在全部零点的分布中举足轻重。

之后，美国数学家莱文森(Levinson)引入了独特的方法，证明临界线的零点占全部零点的比例达到了34.74%。

基于莱文森的技巧，美国数学家康瑞(Conrey)在1989年把比例推进到了40%，这也是迄今为止得到的最好结果。

黎曼猜想被证明的意义

黎曼猜想困扰数学界159年

1859年，德国数学家黎曼发表了《论小于已知数的素数个数》论文。在文章中，黎曼定义了一个函数：黎曼ζ(zeta)函数，并推测，ζ函数会在某些点上取值为零，在这些点中，有些被称作是非平凡零点，这些非平凡零点都分布在一条特殊的直线上，这条直线通过实轴上的点(1/2，0)并和虚轴平行，非平凡零点的实数部分(实部)都是1/2。

这个推测也被称为黎曼猜想，即一种假说。提出一个假说似乎容易，但证明它却要花费极大的力气，这个假说困扰了数学界整整159年。

现在，被誉为本世纪最伟大数学家之一、也是菲尔兹奖和阿贝尔奖获得者的英国数学家迈克尔·阿蒂亚在预印本网站arxiv上公开了他证明黎曼假设(猜想)的预印本，并将在24日的海德堡桂冠论坛上以45分钟的演讲形式展示他的成果。

阿蒂亚能证明黎曼猜想吗?谁能证明阿蒂亚的证明是正确的?这些问题其实都是数学界的专业问题，需要专业人员来回答。但是，既往的事实和现今的情况都注定了，迄今黎曼猜想还是一个公说公有理、婆说婆有理的无解问题。

100多年来，有不少数学家提出，他们证明了黎曼猜想，但是，也总是有人指出了其中的错误。2008年7月2日，美国杨百翰大学的数学家XIAN-JIN LI也是在预印本网站arxiv上发表一篇论文，宣称证明了黎曼猜想。

但是，法国数学家阿兰·科纳和澳大利亚数学家陶哲轩(均为菲尔兹奖得主)，分别在Li证明的第29和20页发现了错误。

然而，也正如哥德巴赫猜想的证明历程一样，也有一些证明正在一步步走向问题的核心，并为最终证明黎曼猜想铺垫阶梯。

黎曼猜想认为所有素数都可以表示为一个函数，ζ(s)=0位于一条垂直直线上，ζ函数所有非平凡零点的直线也被称为临界线。但要证明这一点却困难重重，不过1个多世纪以来，也不乏重大发现。

例如，1974年美国数学家列文森证明，至少有34%的非平凡零点位于临界线上。这是一个比较显著的成果。而且，现在研究人员从分析和数值计算两方面着手，已经证明至少有40%的非平凡零点位于临界线上。但这也离证明黎曼猜想差得太远。

▲图片来源：视觉中国

假如黎曼猜想被证明，互联网安全或受冲击

现在阿蒂亚宣布能证明黎曼猜想，就必然有其独到的见解和发现，是与非当然要留给专业人员来解读和判断。能否证明黎曼猜想固然非常重要，而且可能还会一直争论不休。但或许更重要的是，人们在证明黎曼猜想历程中的探索，以及这种探索的意义，无论最终能证明与否，都将显示不朽的价值。

具体到黎曼猜想，数学家的解释是，黎曼猜想与数论中的素数分布问题有密切关系，早期在证明黎曼猜想的过程中也证明了有关素数分布的一个重要命题——素数定理。素数定理在被证明之前，本身也是一个有着100多年历史的重要猜想。

更重要的是，黎曼猜想与其他数学命题之间有着千丝万缕的联系。迄今，已经有1000条以上的数学命题是建立在黎曼猜想基础之上，如果黎曼猜想被证明，则1000多条数学命题可以升级为定理，就像最基本的勾股定理一样;反之，如果黎曼猜想未被证明或证伪，那1000多条数学命题也可能全部是虚假。

证明黎曼猜想对其他学科具有重要的实用意义，如计算机和网络、物理学，甚至生物神经网络和人工智能。现在，最现实的意义是，如果黎曼猜想被证明，互联网和金融世界的安全，要么遭到毁灭，要么升级和找到更为安全的密钥。

黎曼在1859年提出黎曼猜想就是想解决素数之秘。现在，人们还没有发现素数的规律，因此素数被广泛应用在密码学上，以它作密钥，如果想破解，必须要进行大量运算，即使用最快的电子计算机，也会因求素数的过程时间太长而失去破解的意义。

现在，各大银行、金融机构、计算机公司，甚至军事机构、国家安全部门、保密机构、政府档案等都采用RSA公钥加密算法，这是基于一个简单的素数事实，将两个大质数相乘十分容易，但想要对其乘积进行因式分解却极其困难，因此可以将乘积公开作为加密密钥。

那么，黎曼猜想得到证实，基于大素数分解的非对称加密算法是否会走到尽头呢，公钥加密是否还能保密，从而影响金融、网络和国家安全呢?

不幸的是，还是两种相对的观点，一种认为公钥加密不会受到影响，即便受到影响，也会从黎曼猜想的证明找到新的安全保密方法;另一种则认为公钥加密将会被淘汰，信息时代也将步入泄密的不安全时代。

显然，向其他学科渗透和应用于多学科，就是黎曼猜想的最大的现实意义。

黎曼猜想被证明的意义

如果黎曼猜想被证明将会有何意义

人们在证明黎曼猜想历程中的探索，以及这种探索的意义，无论最终能否证明，都将显示不朽的价值。

黎曼猜想困扰数学界159年

1859年，德国数学家黎曼发表了《论小于已知数的素数个数》论文。在文章中，黎曼定义了一个函数：黎曼ζ(zeta)函数，并推测，ζ函数会在某些点上取值为零，在这些点中，有些被称作非平凡零点，这些非平凡零点都分布在一条特殊的直线上，这条直线通过实轴上的点(1/2，0)并和虚轴平行，非平凡零点的实数部分(实部)都是1/2。

这个推测也被称为黎曼猜想，即一种假说。提出一个假说似乎容易，但证明它却要花费极大的力气，这个假说困扰了数学界整整159年。

9月24日，被誉为本世纪最伟大的数学家之一、也是菲尔兹奖和阿贝尔奖获得者的英国数学家迈克尔·阿蒂亚在海德堡桂冠论坛上以45分钟的演讲形式展示他“证明黎曼猜想”的过程。

谁能证明阿蒂亚的证明是正确的?这是数学界的专业问题，需要专业人员来回答。一些学者质疑他的推演过程，还有一些学者认为，阿蒂亚的思路或为后续黎曼猜想证明提供了一种新思路。而具体如何，还有待同行审议。

100多年来，有不少数学家提出，他们证明了黎曼猜想，但是，也总是有人指出了其中的错误。2008年7月2日，美国杨百翰大学的数学家XIAN-JIN LI也是在预印本网站arxiv上发表一篇论文，宣称证明了黎曼猜想。但是，法国数学家阿兰·科纳和澳大利亚数学家陶哲轩(均为菲尔兹奖得主)，分别在LI证明的第29和20页发现了错误。

然而，也正如哥德巴赫猜想的证明历程一样，也有一些证明正在一步步走向问题的核心，并为最终证明黎曼猜想铺垫阶梯。

黎曼猜想认为所有素数都可以表示为一个函数，ζ(s)=0位于一条垂直直线上，ζ函数所有非平凡零点的直线也被称为临界线。但要证明这一点却困难重重，不过1个多世纪以来，也不乏重大发现。

例如，1974年美国数学家列文森证明，至少有34%的非平凡零点位于临界线上。这是一个比较显著的成果。而且，现在研究人员从分析和数值计算两方面着手，已经证明至少有40%的非平凡零点位于临界线上。但这离证明黎曼猜想差得太远。

假如黎曼猜想被证明，互联网安全或受冲击

现在阿蒂亚宣布能证明黎曼猜想，就必然有其独到的见解和发现，是与非当然要留给专业人员来解读和判断。能否证明黎曼猜想固然非常重要，而且可能还会一直争论不休。

但或许更重要的是，人们在证明黎曼猜想历程中的探索，以及这种探索的意义，无论最终能否证明，都将显示不朽的价值。

具体到黎曼猜想，数学家的解释是，黎曼猜想与数论中的素数分布问题有密切关系，早期在证明黎曼猜想的过程中也证明了有关素数分布的一个重要命题——素数定理。素数定理在被证明之前，本身也是一个有着100多年历史的重要猜想。

更重要的是，黎曼猜想与其他数学命题之间有着千丝万缕的联系。迄今，已经有1000条以上的数学命题是建立在黎曼猜想基础之上，如果黎曼猜想被证明，则1000多条数学命题可以升级为定理，就像最基本的勾股定理一样。

证明黎曼猜想对其他学科具有重要的实用意义，如计算机和网络、物理学，甚至生物神经网络和人工智能。现在，最现实的意义是，如果黎曼猜想被证明，互联网和金融世界的安全，要么遭到毁灭，要么升级和找到更为安全的密钥。

这是因为，黎曼提出黎曼猜想就是想解决素数之谜。现在，人们还未发现素数的规律，因此，素数被广泛应用在密码学上。如果想破解，必须要进行大量运算，即使用最快的电子计算机，也会因求素数的过程时间太长而失去破解的意义。

现在，各大银行、金融机构，甚至军事机构、国家安全部门、政府档案等都采用RSA公钥加密算法，这是基于一个简单的素数事实，将两个大质数相乘十分容易，但想要对其乘积进行因式分解却极其困难，因此可以将乘积公开作为加密密钥。

那么，黎曼猜想得到证实，基于大素数分解的非对称加密算法是否会走到尽头呢，公钥加密是否还能保密，从而影响金融、网络和国家安全呢?

显然，向其他学科渗透和应用于多学科，就是黎曼猜想的最大的现实意义。