GIMPS项目发现最大的已知素数
Great Internet Mersenne Prime Search (GIMPS) 发现了已知的最大素数,2 77,232,917 -1,有 23,249,425 位数字。2017 年 12 月 26 日,乔纳森·佩斯 (Jonathan Pace) 自愿提供的一台计算机发现了这一点。
Jonathan 是使用免费 GIMPS 软件的数千名志愿者之一。
新质数,也称为 M77232917,是通过将 77,232,917 个二元相乘,然后减去 1 来计算的。它比之前记录的质数大近一百万位,属于一类极为罕见的质数,称为梅森质数。这是迄今为止发现的第 50 个已知的梅森素数,每一个都越来越难找到。梅森素数以法国僧侣马林·梅森 (Marin Mersenne) 的名字命名,他在 350 多年前研究了这些数字。GIMPS 成立于 1996 年,已经发现了最后 16 个梅森素数。志愿者下载免费程序寻找这些质数,任何有幸找到新质数的人都会获得现金奖励。Chris Caldwell 教授维护着一个关于已知最大素数的权威网站,并且拥有出色的梅森素数历史。
素性证明在配备 Intel i5-6600 CPU 的 PC 上进行了六天的不间断计算。为了证明质数发现过程中没有错误,新的质数在四种不同的硬件配置上使用四种不同的程序进行了独立验证。
Aaron Blosser 在 37 小时内在英特尔至强服务器上使用 Prime95 对其进行了验证。
David Stanfill在 34 小时内在 AMD RX Vega 64 GPU 上使用gpuOwL 对其进行了验证。
Andreas Höglund 使用在 NVidia Titan Black GPU 上运行的CUDALucas在 73 小时内验证了素数。
Ernst Mayer 也在82 小时内在32 核 Xeon 服务器上使用他自己的程序Mlucas对其进行了验证。Andreas Höglund 还确认在 65 小时内使用在 Amazon AWS 实例上运行的 Mlucas。
Jonathan Pace 是一名 51 岁的电气工程师,居住在田纳西州日耳曼敦。毅力终于为 Jon 带来了回报——他用 GIMPS 寻找大质数已经超过 14 年了。该发现有资格获得 3,000 美元的 GIMPS 研究发现奖。
GIMPS Prime95 客户端软件由创始人 George Woltman 开发。Scott Kurowski 编写了用于协调 GIMPS 计算机的 PrimeNet 系统软件。Aaron Blosser 现在是系统管理员,根据需要升级和维护 PrimeNet。如果他们的计算机发现新的梅森素数,志愿者就有机会获得3,000 美元或 50,000 美元的研究发现奖励。GIMPS 的下一个主要目标是赢得由电子前沿基金会管理的150,000 美元奖励,用于寻找 1 亿位素数。
这个主要归功于 Jonathan Pace 运行 Prime95 软件、Woltman 编写软件、Kurowski 和 Blosser 在 Primenet 服务器上的工作,还有数千名 GIMPS 志愿者筛选了数百万非主要候选人。为表彰上述所有人,这一发现的官方荣誉归于“J. Pace、G. Woltman、S. Kurowski、A. Blosser 等人”。