内容简介:又一数学家宣布证明黎曼猜想,多位科学博主转发相关消息。有人说,互联网加密将受到巨大威胁……“世纪难题黎曼猜想或已被证明”,这不仅是数学界的重磅新闻,也给加密界带来了不小的震动。9月20日晚,南大教授周志华、物理学家赖光泽先后在微博称,数学家迈克尔·阿提亚(Michael Atiyah)爵士宣称自己证明了黎曼猜想。作为菲尔兹奖与阿贝尔奖双料得主、英国皇家学会前主席,阿提亚爵士表示将在9月24日的海德堡获奖者论坛上宣讲全部证明过程。
又一数学家宣布证明黎曼猜想,多位科学博主转发相关消息。有人说,互联网加密将受到巨大威胁……
“世纪难题黎曼猜想或已被证明”,这不仅是数学界的重磅新闻,也给加密界带来了不小的震动。
9月20日晚,南大教授周志华、物理学家赖光泽先后在微博称,数学家迈克尔·阿提亚(Michael Atiyah)爵士宣称自己证明了黎曼猜想。作为菲尔兹奖与阿贝尔奖双料得主、英国皇家学会前主席,阿提亚爵士表示将在9月24日的海德堡获奖者论坛上宣讲全部证明过程。
黎曼猜想在数学界的重要性不言而喻。在1900年、2000年的两次国际数学会议中,黎曼猜想都被列为尚待解决的重要数学难题, 时隔100年,仍未攻克。 这也使得它成为数学界传说中的七大“千禧问题”之一。
但作为数学这一艰深领域的“圈外人”,我们更关心的是——黎曼猜想说了什么内容?其证明或证伪又对现存的加密产业有着怎样的影响?
伟大的猜想,从纯数学探及加密领域
在这个猜想中,黎曼首先定义了一个关于自变量s的Zeta函数,具体定义则为自然数s的负n次方,对于n从1到正无穷求和。 简单来说,黎曼Zeta函数就是一个无穷级数的求和,而黎曼猜想的核心内容,就是对于Zeta函数零点分布的猜想。
Zeta函数共有两类零点,第一类称为平凡零点,从数值上看均为负整数,且为某个三角sin函数的周期零点;第二类称为非平凡零点,而黎曼针对非平凡零点的分布提出假设,认为它们可能都分布在实部等于1/2的直线上。
黎曼猜想与数论中的素数分布问题有着极为紧密的联系,素数出现的频率与Zeta函数的分布密切相关。
故而也有声音认为,黎曼猜想成功证明也会对互联网的安全加密方式造成相当的影响。 因为目前主要的非对称加密算法,包括RSA秘钥加密等都是基于大数的分解,原则上可以在多项式时间内破译。 而黎曼猜想得证,将会为找到那样一个多项式时间的高效算法提供强烈的提示。
小葱技术专家则认为,区块链加密领域受到的影响十分有限,“币圈”用户并不需要为此过度忧虑。
第一,未来黎曼成功证明的确可能掀起加密界的狂飙,但币圈用户暂时可高枕无忧。基于大数分解的RSA加密算法的确被SSL、SSH等安全协议应用,但与区块链加密货币并无太大关联,包括比特币在内的区块链币种主要应用椭圆曲线算法,并非大数分解。
第二,从公钥到地址尚有一个哈希的过程。RSA加密算法的破译或许可以帮助你从公钥算出私钥,但从地址到公钥仍然无法破解。
第三,历史上确实存在由于数学进步而使算法变得不再安全的实例,譬如MD5就曾被中国密码学家王小云破解,目前由于不再安全而只被当作校验算法使用。但黎曼猜想即便成功证明,也只是可能会给 RSA 的破解提供一些解题思路。
阿提亚爵士“能力”遭质疑
阿提亚爵士宣布证明黎曼猜想这一消息,目前只来源于微博和推特上多位科学家发布的推文,暂时并无权威媒体跟进报道。而不少外媒网友也对这一“宣言”的真实度十分不以为然。
数学家Steve McCormick在推特上转发这一消息后,便不乏网友跟帖“嘲讽”。网友John Carlos Baez指出,阿提亚爵士此前曾声称证明了六维球面不存在复杂结构,后续则证明论证过程立不住脚。McCormick在随后转发了这一跟帖,认为“有诸多理由让我们对此消息存疑”。
此外,专攻计算数学领域的咨询师John D.Cook也在博文中表示怀疑,他指出, 阿提亚爵士声称自己提出了一种“精简的”证明方式,但历史中长久悬而未决的数学定理,却无一不耗费后来者浩繁的篇幅加以证明。
但从履历上看,迈克尔·阿提亚爵士确是一位伟大的数学家,这使人们在怀疑中亦不乏期待。他在牛津大学与剑桥大学度过了大部分学术生涯,在美国高等研究院也有过学术经历。阿提亚爵士还是拓扑学K理论的奠基者之一,这在代数拓扑学理论中,可认为是描述了空间被扭曲的方式。除菲尔兹奖、阿贝尔奖双料得主之外,他还担任莱斯特大学校长与爱丁堡大学名誉教授。
作者:刘湾
以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网
猜你喜欢:本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。