黎曼猜想真的被证明了吗？这些日子，关于一个重大数学猜想的疑惑成了萦绕在很多人心头的猜想。
令人心跳加快的9月24日终于到来。宣称已用“简单”而“全新”的方法证明黎曼猜想的英国著名数学家迈克尔·阿蒂亚，在2018年度海德堡获奖者论坛上宣讲了他的相关证明。
但据此下结论，黎曼猜想已被证明，恐怕为时尚早。
“证明太短，直觉告诉我可能不严谨。”对于阿蒂亚的证明，中科院院士、中国数学学会理事长袁亚湘说。
“网上炒得很厉害，但是按照惯例，我们数学工作者一般以论文在学术期刊上正式发表为准。”袁亚湘在接受科技日报记者采访时说。言外之意，阿蒂亚在论坛上口头宣讲的内容仍有待同行评议和时间检验。
一场天才的证明游戏
连续几天在社交网络刷屏的黎曼猜想，已被提出159年之久。
1859年，德国数学家波恩哈德·黎曼在一篇名为《论小于给定数值的素数个数》的论文中提出了这一猜想。此后它便折腾了数学家超过一个半世纪。
曾著有《黎曼猜想漫谈》的知名科普作家卢昌海在接受科技日报记者采访时介绍，黎曼猜想是关于一个被称为黎曼ζ函数的复变量函数的猜想。黎曼ζ函数跟许多其他函数一样，在某些点上取值为零，那些点被称为黎曼ζ函数的零点，其中特别重要的一部分零点被称为非平凡零点。
“黎曼猜想所‘猜’的是：黎曼ζ函数的所有非平凡零点都分布在复平面上一条被称为‘临界线’的特殊直线上。”卢昌海说。
理解黎曼猜想本身就具有一定难度。正如中科院院士王元所言，黎曼猜想不像费马大定理和哥德巴赫猜想那样，只要有中小学数学知识的人，就知道其题意。
