黎曼猜想真的被证明了吗？这些日子，关于一个重大数学猜想的疑惑成了萦绕在很多人心头的猜想。

令人心跳加快的9月24日终于到来。宣称已用“简单”而“全新”的方法证明黎曼猜想的英国著名数学家迈克尔·阿蒂亚，在2018年度海德堡获奖者论坛上宣讲了他的相关证明。

但据此下结论，黎曼猜想已被证明，恐怕为时尚早。

“证明太短，直觉告诉我可能不严谨。”对于阿蒂亚的证明，中科院院士、中国数学学会理事长袁亚湘说。

“网上炒得很厉害，但是按照惯例，我们数学工作者一般以论文在学术期刊上正式发表为准。”袁亚湘在接受科技日报记者采访时说。言外之意，阿蒂亚在论坛上口头宣讲的内容仍有待同行评议和时间检验。

一场天才的证明游戏

连续几天在社交网络刷屏的黎曼猜想，已被提出159年之久。

1859年，德国数学家波恩哈德·黎曼在一篇名为《论小于给定数值的素数个数》的论文中提出了这一猜想。此后它便折腾了数学家超过一个半世纪。

曾著有《黎曼猜想漫谈》的知名科普作家卢昌海在接受科技日报记者采访时介绍，黎曼猜想是关于一个被称为黎曼ζ函数的复变量函数的猜想。黎曼ζ函数跟许多其他函数一样，在某些点上取值为零，那些点被称为黎曼ζ函数的零点，其中特别重要的一部分零点被称为非平凡零点。

“黎曼猜想所‘猜’的是：黎曼ζ函数的所有非平凡零点都分布在复平面上一条被称为‘临界线’的特殊直线上。”卢昌海说。

理解黎曼猜想本身就具有一定难度。正如中科院院士王元所言，黎曼猜想不像费马大定理和哥德巴赫猜想那样，只要有中小学数学知识的人，就知道其题意。

不言而喻，证明黎曼猜想的努力也注定是天才的游戏。而在阿蒂亚之前，已有无数挑战者。

据说德国数学家希尔伯特曾被问，如果他能在500年后重返人间，最想问的问题是什么？希尔伯特回答：黎曼猜想是否已被解决？

“如果有魔鬼答应让数学家们用自己的灵魂来换取一个数学命题的证明，多数数学家想要换取的将会是黎曼猜想的证明。”关于黎曼猜想，美国数学家蒙哥马利据称也曾有这番肺腑之言。