1月7日,美国密苏里中央大学数学家柯蒂斯库珀(CurtisCooper)找到了目前人类一直的最大素数2的74,207,281次方减1(2^74207281-1),数值高达22,338,618位数。
柯蒂斯库珀是通过GreatInternetMersennePrimeSearch(GIMPS,互联网梅森素数大搜索)找到该素数,这是第49个梅森素数,这一重大发现无疑为互联网梅森素数大搜索诞生20周年献了厚礼。
这也是柯蒂斯库珀第四次通过互联网梅森素数大搜索发现新的梅森素数,刷新了他自己的记录。
库珀上一次是在2013年1月25日发现了第48个梅森素数2的57,885,161次方减1(2^57885161-1)。今年新发现的第49个梅森素数要比第48个多出了近500多万位数,下一个素数很有可能会达到上亿位数。
什么是互联网梅森素数大搜索?什么是梅森素数?
公元前300年,古希腊数学家欧几里得就在《几何原本》中证明素数有无穷多个,而其中一些素数可以写成2的n次方减1(2^n-1)的形式,其中n也是一个质数。
素数的独特形式吸引着众多数学家们,其中17世纪的法国著名数学家马林梅森(MarinMersenne,他是一名修道士)对2^n-1形式的素数进行过深入研究,成果卓越,因此后人将这一型的素数称为梅森素数。
梅森素数貌似简单,但研究难度却极大;它不仅需要高深的理论和纯熟的技巧,而且需要进行艰巨的计算。
在手算时代,人们只找到12个梅森素数。电子计算机的出现,大大加快了步伐。
1952年,美国数学家拉斐尔鲁宾逊将著名的卢卡斯-莱默检验法编译成计算机程序,使用大型计算机在短短几小时之内,就找到了5个梅森素数:2^521-1、2^607-1、2^1279-1、2^2203-1和2^2281-1。随着指数n值的增大,每一个梅森素数的产生都艰辛无比。
1995年程序设计师乔治沃特曼(GeorgeWoltman)开始收集整理有关梅森素数计算的数据。他编制了一个梅森素数寻找程序并把它放在网页上供数学爱好者免费使用,这就是互联网梅森素数大搜索计划,集合了20多万台计算机的计算能力,也是世界上第一个基于互联网的分布式计算项目。
1997年,斯科特库尔沃斯基(ScottKurowski)和同伴建立了素数网(PrimeNet),使分配搜索区间和向GIMPS发送报告自动化。人们只需要在该网站主页下载相关免费程序,就可以参与搜索梅森素数了。目前,已有近200多个国家参与了互联网梅森素数大搜索,动用的计算机超过114万台。
为了鼓励人们搜索梅森素数,美国的电子边界基金会(EFF,ElectronicFrontierFoundation)于1999年3月宣布,为寻找巨大素数而设立奖金。第一个找到超过100万位素数的个人或机构可以得到5万美元;超过1000万位可以得到10万美元;超过1亿位,可以得到15万美元;超过10亿位,可以得到25万美元。
2000年4月,美国的那扬哈吉拉特瓦拉(NayanHajratwala)因为找到了第一个位数超过100万位的素数而获得了一笔5万美元的奖金。
不要以为拿到奖金是简单的,搜索素数的结果验证极其严格,不能仅宣称得到的结果是一个有一百个方程组成的方程组的解,你必须解出来,得到的结果必须是显式的,且结果须由另一台计算机独立验证。
寻找素数有什么意义?众多科学家认为梅森素数的研究成果是一个国家科技水平的体现,梅森素数的研究推动了数论的研究,也促进了计算机技术、程序设计等技术的发展,一些素数已经被用于加密和其他实际应用任务。
威斯康辛州立大学(UniversityofWisconsin)的数学家JordanEllenberg就曾说:发现一个梅森素数就像是在干草堆里找一根针那么困难。这项发现在计算机工程领域的价值要远大于数学领域的价值。
上一篇
下一篇