黎曼猜想已经被证明 黎曼猜想将揭谜底

黎曼猜想是什么?近日网曝黎曼猜想将揭谜底怎么回事?黎曼猜想被证明了吗?被视为纯数学领域最重要问题之一的黎曼猜想已经被证明了!这是因为著名的数学家迈克尔·阿蒂亚(Michael Atiyah)宣布将在9月24日的海德堡获奖者论坛(Heidelberg Laureate Forum)上公布自己证明黎曼猜想的方法。自提出以来，黎曼猜想已经困扰了数学家一个多世纪。证明黎曼猜想无疑是数学家梦寐以求的愿望。

黎曼猜想已经被证明 黎曼猜想将揭谜底

今天收到了许多读者的留言询问黎曼猜想是否被证明了，这是因为著名的数学家迈克尔·阿蒂亚(Michael Atiyah)宣布将在9月24日的海德堡获奖者论坛(Heidelberg Laureate Forum)上公布自己证明黎曼猜想的方法。

○ 海德堡获奖者论坛的官方Twitter证实了这一消息。可能是他们的小编过于激动，把24日打成了25日。

自提出以来，黎曼猜想已经困扰了数学家一个多世纪。证明黎曼猜想无疑是数学家梦寐以求的愿望。因此对许多人而言，这个消息既让人兴奋，又让人怀疑。我们并不知道阿蒂亚给出的答案是否就是正确的，也不知道证明过程是否足够优雅简洁，能够很快被其他数学家消化。或许其他人可能要花上数年的时间才能做出判定。例如，我们不久前提到的破解了数学物理领域的13个难题中的“量子霍尔效应”，就耗费了多年的时间才得到了学界的认可(详见：《“已解决!” 数学物理领域的13个难题，终于有一个被完全破解!》)。

在没有获得更多的信息之前，我们还无法知道黎曼猜想是否被证明了。但无论结果如何，这都是值得期待的一天。

而另一个重磅新闻，也是今天将着重讨论的主题，则是曾经轰动一时的abc猜想的证明——它似乎正在面临史上最大挑战!

ABC仍然是猜想?

2012年，日本京都大学的望月新一(Shinichi Mochizuki)在四篇总长度超过500页的论文中，提出了数论中最深远的问题之一——abc猜想的证明方法。但是，几乎没人能看懂他的论文，因为他采用的是自己发展起来的数学工具。除他本人之外，数学界并无他人通晓，致使无人能对望月新一的证明做出判断。

但就在昨天，新晋菲尔兹奖得主Peter Scholze和数学家Jakob Stix在线上发表了一篇题为《为什么abc仍然是猜想》的论文，宣称找到了abc猜想证明的“严重的、不可修复的裂缝!”

○ 左：Peter Scholze;右：望月新一通过视频回答众人的疑惑。| 图片来源：Nyani Quarmyne/Philipp Ammon　　Peter Scholze和望月新一都是数学界的两位巨匠，他们都做出了革命性的贡献，开辟了新的框架并解决了大的问题。而不同的是，Peter Scholze的思想很快就可以被数学界吸收学习，而望月新一的理论至今都没有被主流数学界完全理解并承认。

虽然有十多名深入研读过这个证明的数学家认为它是正确的，但是数学家Brian Conrad在去年十二月的博客讨论中评论说，断言证明正确性的只有”望月圈子“里的数学家，而其他人即使是在非正式的情况下，也没有愿意表达他们相信望月新一的证明是完备的。

芝加哥大学的Frank Calegari在十二月的博客文章中写道：“数学家们非常不愿确切表示望月新一的论证有问题，是因为他们无法指出任何明确的错误。”

现在，事情出现了转机。Scholze和Stix称，在望月新一四篇论文中的第三篇的“推论3.12”中，其证明结尾处有一行论证是根本错误的。而这一推论是望月新一abc证明的核心。

Scholze说：“我认为abc猜想仍然是开放的问题，任何人都有机会证明它。”

Scholze和Stix的结论不仅仅是基于他们自己对于那些论文的研究，还基于他们在今年三月份到访京都大学与望月新一和他的同事Yuichiro Hoshi讨论这个证明的经历。Scholze表示，这次为期一周的拜访帮助他和Stix提炼出了直达本质的反对理由。他们在报告中写道，他们“得出结论，(abc猜想)并没有证明”。

但是他们的会面并没能产生令人满意的结论：望月新一无法说服Scholze和Stix确信他的论证是坚实可靠的，而他们二人也无法让望月新一信服他的证明是不正确的。现在，望月新一将Scholze和Stix的报告，以及几篇自己的反驳报告发布在自己的网站上。

在反驳中，望月新一将Scholze和Stix的批评归因于他们对他的工作有着“某些根本性的误解”。

正如同望月新一极高的声誉会让数学家将他的工作视为对abc猜想的一次认真尝试，Sholze和Stix的地位也会确保数学家将关注他们说了什么。尽管只有30岁，Scholze已经迅速上升到他所在领域的顶端，在八月，他才刚刚被授予了代表数学界最高荣誉的菲尔兹奖。同时，Stix是望月新一研究的远阿贝尔几何(anabelian geometry)领域的专家。

○ Jakob Stix是远阿贝尔几何领域的专家。| 图片来源：MFO　　什么是abc猜想?

abc猜想是数论领域中最重要的难题之一，是最初由法国数学家Joseph Oesterlé和英国数学家David Masser在1985年提出的纯数学问题。它的名字源于一个简单的方程 a+b = c，但它包含了对数的自然属性最深刻的探寻，直击数的基本性质。数学家们长期以来认为这个猜想是正确的，但却从来没有人能够证明这一点。

在方程中， a、b、c三个数字都是正整数，且没有共同的质因数。因此，我们可以考虑诸如 8 + 9 = 17 或者 5 + 16 = 21 这样的方程，但不能是 6 + 9 = 15，因为6、9和15都可以被质数3整除。

如果给定这样一个等式，我们可以找出能够被三个数同时整除的所有质数，例如对于方程 5 + 16 = 21，所有的质数有5、2、3、7。将这些质数相乘会得到210，比初始方程中的任何一个数都大得多。与此相反，对于方程 5 + 27 = 32，所有质数是5、3、2，它们的乘积是30，比初始方程中的32小。这个乘积之所以很小是因为27和32都只是很小的质因数(分别是3和2)多次相乘得到的。

如果开始寻找其他abc三元组，会发现第二种情况非常罕见。例如，对于使用1到100之间的a和b能够产生的3044个不同的三元组，只有7个方程中这些质数的乘积小于c。上世纪八十年代首次提出的abc猜想试图证明这一直觉，那就是这种三元组很少出现。

更具体地说来，仍旧回到5 + 27 = 32这个例子，32比30大，但是只大了一点点。32比30�0�5或者301.5小，甚至也比301.02(约等于32.11)小。abc猜想说的是，选定任何一个大于1的指数x，只存在有限多的abc三元组使得c比质因数乘积的x次幂大。

牛津大学的Minhyong Kim说：“abc猜想是关于乘法和加法的非常基本的表述。”这是那种“你仿佛在揭示数字系统的某种非常基本的结构，是你从未见过的结构”的论述。

a+b=c的简单性意味着，许多其他问题都可以归入这个猜想的范围。例如，费马大定理是关于形式为xn+ yn= zn的方程(对于n>2的正整数，不存在三个正整数x，y，z使得方程成立);而卡塔兰猜想断言，8=23和9=32是仅有的两个都是正整数幂的连续整数，也就是关于方程xm+1=yn的解的问题。(特定形式的)abc猜想会为这两个定理提供新的证明，并解决一系列相关的开放性问题。

哥伦比亚大学的Dorian Goldfeld写道，abc猜想“似乎总是位于已知和未知的边界上”。

○ 望月新一的论文。望月新一发展了一种全新的数学形式，叫作全面一般化泰希米勒理论(Inter-Universal Teichmüller Theory， IUT)，这是一种将代数元素与几何学结合起来的理论，他独自研究了近10年，并用它来解开ABC猜想。| 图片来源：Jacob Aron/NewScientist　　abc猜想的证明可能产生的大量结果让数论学家相信，证明这个猜想可能非常困难。所以当2012年传言说望月新一已经给出了一个证明时，很多数论学家热情地投身于他的工作，结果却被不熟悉的语言和不同寻常的陈述所阻碍。定义展开了好几页，接着是陈述同样长的定理，但是这些定理的证明本质上却只是说“根据定义可以立即得到”。

Scholze是望月新一论文的早期读者之一。他以快速而深入吸收数学的能力而著称，并比很多数论学家都走得远，在四篇主要论文出来后不久，他完成了他所谓的“粗略阅读”。Scholze为冗长的定理和简短的证明所困惑，他觉得这些证明虽有道理却很脆弱。他之后写道，中间的两篇论文真正包含的内容似乎非常少。

然后，Scholze进展到了第三篇论文中的推论3.12。数学家通常使用“推论”来指之前的更重要定理的次要结果，但是对于望月新一的推论3.12，数学家认为这是证明abc猜想的核心，如Calegari曾写到的那样，若没有这个推论，”就根本没有证明，这是关键的一步”。

这个推论是中间两篇论文中唯一一个证明过程超过几行的定理——它占了整整九页。当Scholze通读这个证明时，有一个地方他完全无法跟上逻辑。

当时只有24岁的Scholze认为这个推论的证明是有缺陷的，但是绝大多数时候，他都远离关于这些论文的讨论，除非有时候直接被问及他的想法。他想，或许其他数学家会从论文中发现他遗漏了的重要想法。也或许，他们会得到跟他相同的结论。无论如何，数学界一定能够解决这些问题。

埃舍尔楼梯

与此同时，其他数学家也在努力研究那些密密麻麻的论文。许多人对在2015年年底于牛津大学举行的望月新一工作研讨会议寄予了厚望，但是当几位望月新一的密切合作者试图描述证明的关键思想时，“一团迷雾”似乎笼罩到了听众身上。Conrad在会议后不久的一篇报告中写道：“那些理解望月新一工作的人需要更好地跟算数几何学家沟通，是什么使得证明有效。”

在Conrad发表文章之后几天，他收到了来自三位不同数学家(其中一个是Scholze)的邮件，所有邮件都表达了一个相同的故事：他们能够理解那些论文，直到一个特定的部分。Conrad随后写道：“令他们感到困惑的地方都是推论3.12” 。

Kim从另一位数学家，现在在京都大学的Teruhisa Koshikawa那里听到了类似的关于推论3.12的困扰。Stix也在同一个地方感到困惑。许多数论学家逐渐意识到，这个推论是症结所在，但是并不清楚是论证有漏洞，还是望月新一需要更好地解释他的推理。

2017年底，谣言四起，许多数论学家惊愕不已——望月新一的论文被数理解析研究所的出版部门(PRIMS)接受发表，而望月新一本人是这个期刊的主编。Calegari认为这个安排“非常不妥”，尽管编辑们在这样的情况下通常会回避。然而，许多数论学家更为困扰的是这些论文仍然难以阅读这一事实。

芝加哥大学的Matthew Emerton写道：“那些声称理解论证过程的专家们没有一个能成功地向众多迷惑不解的专家来解释那些证明。”

Calegari曾在博客中表示，这是“一场彻底的灾难”。“现在，我们处于一种荒谬的境地，在京都它是abc定理，在其他地方则是abc猜想。”

PRIMS很快对新闻界的询问作出回应，声明说，这些论文实际上并没有被接受。

Scholze认为，围绕这个证明的整个讨论已经变得“太过于社会化”，每个人都只是在谈论说这感觉不像是一个证明，但是没有人说“实际上是在这一点上没人理解这个证明”。

所以在Calegari的博客文章下面的评论部分，Scholze写道，在推论3.12的证明中，他“完全无法理解图3.8之后的逻辑”。并补充说，“声称理解证明过程的数学家不愿意承认在那里必须有更多解释。”

望月新一在京都大学的同事、菲尔兹奖得主森重文(Shigefumi Mori)向Scholze致信，提议他和望月新一见上一面。Scholze找到了Stix，他们两人在三月份来到京都，与望月新一和Hoshi讨论让人们困惑的证明。

望月新一解决abc猜想的方法是将问题转化为一个关于椭圆曲线的问题，这是包含x和y两个变量的一种特殊类型的三次方程。这个转化过程很简单，在望月新一的工作之前就已经众所周知——将每一个abc方程与穿过x轴上a、b两点和原点的椭圆曲线联系起来——但是它使得数学家能够利用椭圆曲线丰富的结构，因为椭圆曲线将数论与几何、积分和其他数学分支连接。同样的转化过程是1994年Andrew Wiles证明费马大定理的核心。

然后，abc猜想就被归结为证明与椭圆曲线相关的两个量之间的一个确定的不等式。望月新一的工作将这个不等式再次转化为另一种形式，Stix说，这可以被认为是比较两个集合的体积。在推论3.12中，望月新一试图证明这个新的不等式，如果这个推论是真的，就能证明abc猜想。

Scholze和Stix表示，这个证明涉及处在实数的两个不同拷贝内观察两个集合的体积，然后，实数的这两个不同拷贝又被表示为实数的六个不同拷贝组成的圆的一部分，同时还包括解释圆上的每个实数拷贝如何与近邻联系的映射。为了追踪集合的体积如何彼此联系，必须理解不同拷贝下的体积测量如何联系。

Stix说：“如果有两个变量的不等式，但是测量的尺子因为无法控制的因素而有些收缩，那就会失去对不等式实际意义的控制。”

Scholze和Stix认为，正是在这个论证的关键点上出错了。在望月新一的映射中，测量标尺在局域上相互兼容，但是如果绕着圆走一圈，最终测量标尺看起来将会不同于另一种绕行方式的结果。Stix表示，这种情况类似于埃舍尔著名的蜿蜒楼梯，楼梯向上攀登再攀登，最终却处在起始位置的下面。

○ 埃舍尔楼梯。| 图片来源：Klaus Kremmerz for Quanta Magazine　　Scholze和Stix断言说，体积测量上的不相容意味着最终的不等式是在两个错误的量之间进行比较。然而，如果做出调整使得体积测量变得整体兼容，不等式就会变得无意义。

深入研究过望月新一论文的数学家Kiran Kedlaya说，Scholze和Stix已经“识别出一种方法以表明望月新一的论证不可能有效，所以如果论证是正确的，就必须做出一些不同的、更为微妙的证明”。

望月新一争辩说，更为微妙的事情恰好是这个证明所做的。他写道，Scholze和Stix的错误在于，他们对本应被视为互不相同的数学对象进行了任意鉴别。

数学家现在必须吸收Scholze和Stix的论证和望月新一的回应。但是Scholze希望，与望月新一最初的一系列论文的情形不同，这个论证不应该是一个旷日持久的过程，因为他们的反对证明技术性并不是很强。其他数论学家“完全能够跟上这一周我们与望月新一的讨论”。

望月新一看待事情的方式截然不同。在他看来，Scholze和Stix的批评是源自于“缺乏足够的时间来深入思考讨论的数学问题”，或许还伴随着“一种深切的不适感，或者说生疏感，因为这是对熟悉的数学对象的新的思考方式。”

Kim说，那些已经怀疑望月新一关于abc猜想的证明过程的数学家或许会将Scholze和Stix的报告视为故事的结尾。其他人会想要研究新的报告，正如同Kim自己已经开始做的那样。他在邮件中写道，在下定决心之前，我认为有需要亲自更加仔细地检查一下证明过程。

在过去的几年时间里，许多数论学家已经放弃理解望月新一的论文。但是如果望月新一和他的追随者能够提供一个详尽而连贯的解释，来说明为什么Scholze和Stix的图像过于简单化(姑且假设它是如此)，“这或许会释放掉很多疲惫，或许还会让人们有更多意愿再次研究abc猜想，” Kedlaya说道。

与此同时，Scholze说：“我认为直到望月新一做出一些非常实质性的修改，并更好地解释这个关键步骤之前，他的工作不应该被看作一个证明。我并没有真地看到一个让我们距离证明abc猜想更近的关键想法。”

无论最终讨论的结果如何，望月新一论证的这个特定部分应该会具有更大的清晰度。Kim说：“Scholze和Stix所做的事情是对数学界的重要帮助，无论发生什么，我相信这个报告将会是得到一个明确结果的过程中的一个进展。”

黎曼猜想已经被证明 黎曼猜想将揭谜底

159年前，德国数学家黎曼在题为《论小于给定数值素数个数》论文中提出“黎曼猜想”，始终以来被视作“纯数学领域最重要问题之一”，是一千多条数学命题成立前提条件。尽管无数一流数学家向证实黎曼猜想发起冲击，却无一人能成功，不过兴许就在今天，著名数学家、菲尔兹奖和阿贝尔奖双料得主阿蒂亚爵士或将成为这样一个划时代人物。

迈克尔·阿蒂亚

阿蒂亚此前宣布，将于9月24号在海德堡获奖者论坛演讲中公布他对黎曼猜想证实。他表示，自己基于冯·诺依曼、希策布鲁赫和狄拉克等人成果，运用一种“简单而全新”方法证实了黎曼猜想。

这场被安排在德国当地时间9月24号上午9：45-10：30演讲也因此惹起全世界数学家们关注。“黎曼猜想”证明到底有何重要性?为什么最接近证明黎曼猜想人是阿蒂亚爵士?

“最难赚到100万美元方式”，这是世界范围内数学家们对证明“黎曼猜想”戏称，100万美元则是美国克雷数学研讨所在2000年为解出问题者开出奖金价码。加州大学伯克利分校数学教授爱德华·弗伦克尔在一个科普视频开头说：

(赚100万美元)最难方式之一是解决“千禧难题”，这是2000年美国克雷数学研讨所提出，其中一个问题正是黎曼猜想。这是关于一个德国数学家黎曼在1859年一个数学研讨。

德国著名数学家波恩哈德·黎曼

“千禧难题”一共蕴含7个问题，解出一道便可获得100万美元奖金，挑战时间不限，题解必须发表在国际知名刊物上，并且要通过2年验证期和专家小组审核。“千禧难题”提出是为了呼应1900年23个希尔伯特难题，而这两次“出题”中唯一重复，就是黎曼猜想。

弗伦克尔：我认为这是数学中最著名一个问题，取代了上世纪90年代中叶被怀尔斯和泰勒解决费马大定理。黎曼猜想最核心问题，就是我们所说“Zeta函数”。

“黎曼猜想”正是关于这个被称为黎曼Zeta函数复变量函数猜想。物理学博士、科普作家卢昌海告诉中国之声记者，黎曼Zeta函数跟许多其它函数一样，在某些点上取值为零，那些点被称为黎曼Zeta函数零点，而其中特别重要一部分零点被称为非平凡零点。

卢昌海：黎曼当年提出一个猜想，就是黎曼Zeta函数一切非平凡零点都正好排在复平面上一条直线上，那么这条直线被称为临界线。尽管表面上看只是关于一个复平面函数猜想，实际上它是跟素数分布有十分密切关系。

黎曼函数

黎曼猜想一个重要特点，就是它跟素数分布有着密切关系。卢昌海解释，因为素数分布是数论中重要课题，数论又是被德国数学家高斯称为“数学皇后”重要领域，这在一定程度上奠定了黎曼猜想重要性：

卢昌海：如今数学界有超过一千条数学命题，它是以黎曼猜想成立为前提，也就是说它表述都是“假如一旦猜想或者他某种广义形式成立，那么我们可以有这样一个结果”。黎曼猜想如果被证明，那么数学上几乎一夜之间就可以削减一千多条定理——因为那些原来是有条件成立命题，就全都变成定理了。

而另一方面，一旦证明黎曼猜想是伪命题，同样也有大量数学命题面临危机。不过对于有观点认为黎曼猜想被证明，会使现有一切互联网加密方式存在风险，卢昌海表示，并没有哪一种互联网加密方式是以“黎曼猜想不成立”为前提。

卢昌海：如果黎曼猜想被证伪话，那么估计就是一千多条(定理)里面，其中有一些也就不会成立了。所以反方面影响也是比较大。那么对事实应用来说，目前据我所知并没有什么特别影响，主要是对纯数学。

尽管历史上也有人曾宣称自己“证明了黎曼猜想”，但是最终都被发现存在严重漏洞——其中最广为人知是美国数学家纳什，他经历被拍成了电影《美丽心灵》，但是他对黎曼猜想证明过程，却灾难性地展示了他精神分裂症。自黎曼猜想提出后159年以来，无数顶尖数学家都试图挑战黎曼猜想，但他们前仆后继努力，只是逐渐成就了黎曼猜想愈发显赫名声。为什么黎曼猜想这么难?

卢昌海：只是我们相信一切试图证明黎曼那些第一流数学家，都思考了当时能够思考到几乎所无方向。沿这些方向、以他们能力都没有办法把这个猜想证明出来，那么可见真正证明可能是十分艰辛一条路。

而这次宣称“一个简单而全新方法”证明黎曼猜想阿蒂亚爵士，也是一位功勋卓著数学家。解开159岁黎曼猜想钥匙，或掌握在89岁阿蒂亚手中，最难数学题遭遇当世最牛数学家，这样巅峰对决犹如“华山论剑”，备受注目。但是卢昌海在自己微博上表示，对于阿蒂亚此次证明持谨慎态度，黎曼猜想或许还在等待真正勇士前来破解。

卢昌海：阿蒂亚爵士，他本人今年已经89岁了。另外在过去几年里面，他已经不止一次地宣称解决了十分困难数学难题，或者把本来非常困难解决方案做了大幅简化，那么它这些论文或者宣称也是被发现是都有错误，而且这些错误并不是在严整结构中发现奇妙错误，是几乎不知所云、结构非常松懈一些证明。阿蒂亚爵士如今情况以及他最近几年经历，使得大家最少在数学界之内应该不会是非常乐观一个态度。

但是对于阿蒂亚本人来说，作为曾经在过去半个多世纪里拿下了大量崇高奖项、成为最接近 “大满贯” 数学家之一人，荣誉并没有成为他再度冲击高峰负担，正如他所说：“我已得到自己所需全部奖项，还有什么可失去?这就是我为什么会冒年轻研究者不准备冒险。”