“黎曼猜想”证明现场及证明过程 有学者认为或提供新思路

“这个证明的对与错现在还不明确”

　　在介绍完历史之后，他就开始介绍Todd函数以及最核心的一页PPT（也就是Todd函数如何帮助证明黎曼猜想的PPT）。阿蒂亚爵士对证明思路的介绍并没有多少，以至于直播间有人调侃30分钟历史介绍，一页PPT证明。最后，阿蒂亚爵士给后辈们提供了建议：就是最后一张PPT提到的四个建议，包括运用如今最强大的工具；验证所有著名的猜想（无论是证明过的还是未证明的）；判断出哪些难题可高效计算出；以及决定哪些难题是有时间做的。

　　整个直播过程中，Twitter上、直播间中的实时讨论与评价，这个证明的对与错现在还不明确，可能经过一段时间的发酵能看的更清楚。

　　黎曼ζ 函数

黎曼猜想到底是啥

　　黎曼猜想是关于素数，又叫质数的问题，是为了研究素数分布规律。“一个大于1的自然数，除了1和它自身外，不能整除其他自然数的数叫做素数”——这个概念相信很多人第一次接触是在上小学的时候。虽然定义简单且容易理解，但是数学家们却为寻找一个更为精确地表达公式而不断努力。

　　德国数学家黎曼在《论不超过一个给定值的素数的个数》中提出：素数的分布奥秘与一个复杂的函数密切相关，他在文中定义了一个被后世成为“Zeta”的无穷极函数。黎曼猜测，可能所有非平凡零点都全部位于实部等于1/2的直线上，这条线被称为临界线。这就是令后世数学家魂牵梦绕却辗转反侧的“黎曼猜想”。

　　物理学博士、科普作家卢昌海这样解释：“黎曼当年提出一个猜想，就是黎曼Zeta函数的所有的非平凡零点都正好排在复平面上的一条直线上，那么这条直线被称为临界线。虽然表面上看只是关于一个复平面函数的猜想，实际上它是跟素数分布有非常密切的关系。”

黎曼猜想若被证明将增加一千多条数学定理

　　数学界的知名难题——黎曼猜想到底有多重要？卢昌海告诉中国之声记者：“现在数学界有超过一千条数学命题，它是以黎曼猜想的成立为前提的，也就是说它的表述都是‘假如一旦猜想或者他的某种广义形式成立，那么我们可以有这样一个结果’。黎曼猜想如果被证明，那么数学上几乎一夜之间就可以增添一千多条定理——因为那些原来是有条件成立的命题，就全都变成定理了。如果黎曼猜想被证伪的话，那么估计就是一千多条（定理）里面，其中有一些也就不会成立了。所以反方面的影响也是比较大的。那么对现实应用来说，目前据我所知并没有什么特别的影响，主要是对纯数学。”

　　“世纪之谜”黎曼猜想如何证明？核心论点是什么？在宣讲现场，阿蒂亚爵士仅仅寥寥数页PPT进行了阐释。此前有很多人猜测，阿蒂亚爵士会使用量子力学来证明黎曼猜想，但在演讲中他表示证明黎曼猜想的是一个名为Todd的函数。那么黎曼猜想被证明后，有何用处？阿蒂亚爵士的回答是，黎曼猜想能推广到多种情况，并且一步步得到证明，它的证明对年轻的数学、计算机科学、逻辑学和物理学研究者非常重要。

物理学博士：尚未看到有分量的专家评价

　　根据深科技的报道，阿蒂亚爵士称，他关于精细结构常数α（念阿尔法）的相关论文已投稿至英国皇家学会。介于这篇文章目前还未经过同行审议，一些学者对他的推演过程存疑。同样，也有学者对此次黎曼猜想的证明过程质疑。当然，还一些学者认为，阿蒂亚爵士的思路或为后续黎曼猜想证明提供了一种新思路。

　　虽然历史上也有人曾宣称自己“证明了黎曼猜想”，但是最终都被发现存在严重的漏洞。如何才能真正证明黎曼猜想？卢昌海昨晚文字回复中国之声记者称，虽然具体方法可以千变万化。如果是证明黎曼猜想不成立，则相对“简单”些，举出一个反例亦可达到目的。

　　阿蒂亚结束演讲后，现场响起了热烈掌声，然而论证本身最终能否经得起考验，还得通过专家们的苛刻审核。物理学博士、科普作家卢昌海表示，目前尚未看到有分量的专家评价——但考虑到阿蒂亚爵士的身份，如果专家认为这一报告完全不构成证明，出于对爵士的敬重他们或许会保持缄默。