■本报首席记者 许琦敏

    见习记者 金婉霞

    黎曼猜想要被证明了？只怕这次离真正的证明还有一段距离。

    德国柏林时间9月24日上午9时45分，菲尔兹奖与阿贝尔奖双料得主、英国皇家学会院士迈克尔·阿蒂亚爵士在德国海德堡举行的海德堡奖诺贝尔奖获得者论坛上，讲述了他对黎曼猜想的证明。

    他声称，自己用了一个非常简单的反证法，就解开了天才数学家波恩哈德·黎曼于1859年提出、至今159年无人能证明的黎曼猜想。

    就在论坛开始前不久，阿蒂亚爵士还在网上发布了论文的预印本。这表明他不是仅仅以一个报告来博得眼球，而是已有实实在在的论文。

    然而，令人意外的是，当大众欢呼雀跃于数学王国中最难攻克的猜想得到证明时，真正的数学家们却非常淡然。而在预印本发布之后，来自同行的负面评论越来越多，有人说他的所谓证明“甚至不能算是个错误”。

    究竟阿蒂亚爵士能否证明黎曼猜想？可能人们将再次接受失望。

    一份预告掀起热潮

    就在几天前，阿蒂亚爵士声明自己证明了久负盛名的黎曼猜想，并将在海德堡获奖者论坛上简单讲述证明过程。

    于是，这个消息立刻在大众中掀起了一股热潮。如果说数学是人类智慧的皇冠，那么数论就是皇冠上的明珠，而黎曼猜想则是明珠上最难擦拭掉的那个斑点。

    “如果数学世界只剩下一个难题，那么一定是黎曼猜想。”中国科学技术大学数学系教授欧阳毅说，其实每隔几年，就会有人宣称证明了黎曼猜想，但结果都失败了。

    他说，对于数学家而言，只看逻辑和推导，不看谁先声称证明了什么。所以，对于阿蒂亚的声明，同行几乎都持淡然的态度。“我们要看到论文，然后验证里面的每一个步骤和细节。如果完全正确，那就向他致以最崇高的敬意，他将是本世纪最伟大的数学家，没有之一！”

    数学，就是这样一个只以成败论英雄的领域，不看权威，不论资历。历届菲尔兹奖获得者都是年轻人。比如今年的菲尔兹奖得主彼得·舒尔茨就是1987年出生的，但他将代数与几何结合的工作，已被很多人跟进，有深远的理论意义。

    预印本发布引来更多吐槽

    就在89岁高龄的阿蒂亚爵士走上讲坛前不久，他关于黎曼猜想的预印本已在网上公布。这说明，他是真的认为自己证明了黎曼猜想——根据数学学科发表论文的惯例，数学家在正式出版前都会提前公布预印本，先接受同行的检查。一旦放出预印本，就等于宣告这个成果的归属。

    只有短短的五页纸！其中证明只有区区15行！

    的确，黎曼留给后人的也只有短短的八页纸。可真的有那么简单吗？很快，就有专业人士指出，阿蒂亚在第二节定义的TODD函数就不靠谱，而这恰恰是证明的关键所在。

    简单来说，阿蒂亚是用了一个TODD函数的公式，假设有与黎曼猜想矛盾的点存在，这个公式是收缩的，那么就可以把一个个点代入这个公式，如果没有一个点成立，那么他就证明了黎曼公式。然而，这个TODD函数在他上一次在海德堡论坛发布时，就被当场指出是错误的。

    所以，尽管演讲还在继续，同行却已基本上断定，这次阿蒂亚爵士并未能带来真正的惊喜。有同行在网上表示，为了尊重这位曾经做出过非常杰出而漂亮工作的伟大数学家，就不要再讨论了，因为他的证明是“not even wrong”（甚至不能算是个错误）。

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

    “这不是一次严肃的尝试，甚至连错误都算不上。在论述中没有使用到Zeta函数的任何性质，而这在黎曼猜想中很关键。”欧阳毅说，很多伟大的数学家经常在晚年宣称证明了某个命题，却最终未能成功。这也是一种常态，不用对这位前辈过于苛责。

    证明黎曼猜想究竟会带来改变吗

    数学证明，是一个不断反复质疑、验证的过程。中国科学院院士、复旦大学数学系教授李大潜说，当年英国数学家安德鲁·怀尔斯做报告证明了费马大定理，也被同行指出其中的问题，他又花费了很大力气，才最终得到了结论。即使阿蒂亚这次失败，也没什么，毕竟这是数学上一个公认的难题。美国克雷数学研究所公布的“七大千年数学难题”，每个难题悬赏100万美元，黎曼猜想名列第一。

    除了难度高，黎曼猜想的证明在现实世界中会改变什么吗？李大潜介绍，作为核心数学中的一个重要猜想，不少数论的研究成果都是建立在黎曼猜想成立的基础上进一步研究的，如果该猜想成立，它们就有了依据，不然就全无价值。

    然而，在实际应用中，大家并不用为黎曼猜想是否被证明担心。欧阳毅说，因为数学是在理论上追求完美，但在现实应用中，很多理论极限上的情况并不会发生。

    数论在密码上的应用，包括信息安全和网络空间安全，乃至量子计算，出现的情况都是有限情形（目前使用的素数不超过150位数）。黎曼猜想可能的反例出现的范围已经远远超出实际应用中数的范围。

    “除非阿蒂亚证明黎曼猜想不成立，或者发现质数的新规律，否则不会对现实应用产生太大的冲击。”欧阳毅说，现在看来，我们只好等待下一位勇士，再向黎曼猜想发起挑战。

    黎曼猜想

    1859年，德国数学家波恩哈德·黎曼发表了一篇名为《论小于给定数值的素数个数》的论文，提出黎曼猜想。黎曼猜想是关于黎曼Zeta函数的零点的猜想。黎曼Zeta函数在任何复数s≠1上有定义，与许多其他函数一样，黎曼Zeta函数在某些点上的取值为零，那些点被称为黎曼Zeta函数的零点。比如它在所有负偶数上有零点（例如，当s=-2，-4，-6，……），这些零点被称作“平凡零点”。黎曼猜想认为这个函数的所有非平凡的零点都分布在复平面上一条平行于虚轴且实部为二分之一的直线上，但并未给出证明。这一猜想中的非平凡零点与质数的分布密切相关，而质数在自然数中的分布问题在纯数学和应用数学上都极其重要。

    迈克尔·阿蒂亚爵士

    英国数学家，被誉为当代最伟大的数学家之一。1966年获菲尔兹奖，1988年获科普利奖章，2004年与辛格共同获得阿贝尔奖。