黎曼猜想被证明了吗？

９月24日现年89岁的英国著名数学家、阿贝尔奖和菲尔兹奖得主迈克尔·阿提亚24日在德国海德堡提出了证明黎曼猜想的“简单思路”，并称沿着该思路可以证明黎曼猜想。这一说法震动了数学界和社交媒体，但他的证明思路仍有待同行评议。

在当天举行的第６届海德堡国际数学与计算机科学获奖者论坛上，阿提亚发表了约40分钟的演讲，其中有10多分钟简单介绍他的新思路。

海德堡获奖者论坛邀请阿贝尔奖、图灵奖、菲尔兹奖、ACM计算奖、奈望林纳奖的获奖者与世界各国的青年数学家、计算机科学家对话交流，自2013年起每年举办一届。

“证明黎曼猜想会让你成名。如果你已经成名，那就会臭名远扬，”阿提亚说，“没人相信黎曼猜想的任何证明，因为它太难了。还没有人能证明它，所以现在为什么你能呢？除非你有了一个全新思路。”

阿提亚认为人们应“认真倾听”的新思路，基于对物理学中一个重要的无量纲数——精细结构常数的推演，推演过程结合了冯·诺依曼等科学家的早前理论，还引入了一个新的所谓TODD函数，该函数被视作证明黎曼猜想的核心。但有同行表示，这个新函数定义并不明确。

不过，阿提亚当天并未解释全部的证明工作。有与会者对新华社记者表示，黎曼猜想意义重大，因为许多数学命题都建立在黎曼猜想为真的基础上。不过，即使阿提亚的新思路成立，所能证明的也只是黎曼猜想的一部分。

黎曼猜想由德国数学家伯恩哈德·黎曼于1859年提出，是关于质数分布问题的猜想。美国克莱数学研究所2000年公布世界七大数学难题，并为每个难题设立1000万美元奖金，黎曼猜想是其中之一。

国内知名科普作家卢昌海对于黎曼猜想如此评价：

与费马猜想时隔三个半世纪以上才被解决，哥德巴赫猜想历经两个半世纪以上屹立不倒相比，黎曼猜想只有一个半世纪的纪录还差得很远，但它在数学上的重要性要远远超过这两个大众知名度更高的猜想。

许多数学家都为证明黎曼猜想做出贡献。

• 1932 年，德国数学家西格尔从黎曼的手稿里找到了关键的证据，遗留下的公式重现天日，西格尔也获得了菲尔兹奖。

• 人工智能之父图灵计算出了函数的 1104 个非平凡零点，开启了计算机辅助计算的接力赛。

• 1975 年，美国麻省理工学院的莱文森引入了独特的方法，证明黎曼函数临界线上的零点占全部零点的比例达到了 34.74%。

• 一年后中国数学家楼世拓、姚琦证明了比例达到 35%。

• 很快，荷兰数学家利用计算机检验了 2 亿个黎曼函数的零点，证明猜想很可能是对的。

• 80 年代初，苏联数学家宣布利用电脑成功检验了一个与黎曼猜想有关的数学问题。最新的成果是一法国团队将零点计算出了前 10 万亿个而没有发现反例。

此次，虽然阿提亚爵士并未完全证明黎曼猜想，但他此次在海德堡论坛上对黎曼猜想的证明尝试，也掀起了社会各界的广泛关注。可以说，阿蒂亚爵士此次的演讲引发了一次空前的科普盛世。虽然对黎曼猜想的解释仍需进一步完善，但其一生中对数学做出的贡献，以及此次讲座中的一些思考，都是对未来科学家进一步探索未知的一种激励。

参考来源：

• 新华社

• 机器之心

•  DeepTech深科技

- End -

往期热门资讯：                                        

扫描二维码，获得更多新鲜资讯！