菲尔兹奖和阿贝尔奖双料得主、英国皇家学会前主席迈克尔· 阿提亚(Michael Atiyah,1929.4.22-)爵士宣称自己证明了黎曼猜想,并将在9月24日海德堡获奖者论坛上宣讲。据了解,迈克尔· 阿提亚的主要研究领域是几何,被誉为当代最伟大的数学家之一。
黎曼猜想在数学界的地位不容置喙。1859年,其由数学家黎曼提出,是当今数学界最重要、最期待解决的数学难题,至今已困扰人类一个半世纪。
截至目前,数学论文中的研究,其中很多数学命题都是以黎曼猜想及推广形式的成立作为前提。如果黎曼猜想被证实或证明,这些数学命题将荣升为数学定理;而如果一旦被证伪,则代表将有千余个数学命题不被成立。
所以,基于这一研究意义,数学界对于迈克尔· 阿提亚9月24日的宣讲自然格外在意。而除了研究意义外,黎曼猜想因为能揭示素数分布的统计规律,跟需要用到素数的加密算法有一定联系,也触发了一些区块链自媒体和币圈人士的G点。
查阅资料了解到,一直以来,素数的分布很难捕捉到规律,黎曼在其论文中指出素数的分布完全蕴藏在一个特殊的函数中(黎曼函数),这也构成了黎曼猜想关于素数的分布。而目前区块链领域用到的加密算法,和素数的分布轨迹有一定联系。
在一些人看来,如果黎曼猜想被证明,其或有可能影响加密算法的逻辑性,比如加密算法和哈希函数如何产生互动等,甚而破解加密算法,从而上升至对加密货币圈产生影响。
针对这一议题,随即采访了几位关注加密算法和密码学的专家老师。依据他们的观点,大致可总结为:就算黎曼猜想被证明,也没区块链加密算法什么事。
一位某知名科技媒体从业者告诉,从理论角度看,需要用到素数的加密算法基本就是RSA了。RSA虽然在普通工业加密中有一些应用,如比特币使用的是专门经过修改的椭圆曲线加密。而其他虚拟货币使用的加密算法,几乎很少会使用RSA,所以和黎曼猜想没多大关系。
而从应用角度来看,黎曼猜想的命题是完整的,只要认为它为真就可以拿来用,而不需要一定等到‘证明了为真’才可以用。而且,从来没听说过针对任何领域的任何攻击方法里,黎曼定理起到了重要作用。
另一位公链开发共识算法工程师则表示,对于大多数区块链技术而言,使用的哈希算法和素数没有关系,使用的非对称算法是ECC,ECC是基于椭圆曲线上的离散对数问题,和素数也没有关系。
退一步讲,如果非要说有关系,我想可能也就一个做‘质数币’的项目。该项目的工作是把比特币的挖矿算法修改为寻找质数,没有其他的特别之处。所以也就币圈有人在炒,该名人士向表示,黎曼猜想可能会对质数的预测有影响,但在黎曼猜想被证明之前,大家就对这个猜想的内容是认同的,所以依然可以用它来寻找质数。
综合来看,这两位人士所持意见一致。即黎曼猜想被证明,更多的是对数学学科的贡献。若是在工程领域,除非黎曼猜想被证伪,不然影响都不会很大。