“GIMPS”的版本间差异
小 |
小 |
||
| 第30行： | 第30行： | ||
| − | ==''' | + | =='''GIMPS大事记'''== |
*公元1995年程序员乔治-沃特曼(George Woltman)编制出梅森素数寻找程序并将其放到网上，“互联网梅森素数大搜索”计划开始。 | *公元1995年程序员乔治-沃特曼(George Woltman)编制出梅森素数寻找程序并将其放到网上，“互联网梅森素数大搜索”计划开始。 | ||
*公元1997年斯科特·库尔沃斯基(Scott Kurowski)建立PrimeNet，使分配搜索区间和向GIMPS发送报告的过程自动化。 | *公元1997年斯科特·库尔沃斯基(Scott Kurowski)建立PrimeNet，使分配搜索区间和向GIMPS发送报告的过程自动化。 | ||
2009年10月11日 (日) 11:15的版本
|
GIMPS | |
|---|---|
| 文件:GIMPS Logo.gif GIMPS logo | |
| 无项目屏保 | |
| 开发者 | Mersenne Research, Inc. |
| 版本历史 | 1995年 |
| 运算平台 | Windows/Linux/Mac |
| 项目平台 | Prime95 |
| 程序情况 | |
| 任务情况 | |
| 项目状态 | 运行中/开放注册 |
| 项目类别 | 数学类 |
| 优化程序 | |
| 计算特点 | CPU密集： |
| 官方网址 | GIMPS |
|
[{{{rss}}} 通过 RSS 获取项目新闻] |
GIMPS简介
Great Internet Mersenne Prime Search(伟大的因特网梅森质数搜索活动)，也常简写为GIMPS，是全世界第一个基于互联网的分布式计算项目。该项目希望联合全球所有的乐于奉献的数学爱好者们的计算机，使用Prime95或MPrime软件来寻找梅森质数。
梅森质数得名于马丁·梅森(Martin Mersenne)。马兰·梅森，十七世纪法国教士、数学家，生于 1588 年，他学识渊博，为人热情，是法兰西科学院的奠基人。
质数也叫素数，是只能被自己和1整除的数，例如2、3、5、7、11等。2500年前，希腊数学家欧几里德证明了质数是无限的，并提出少量质数可写成“2的n次方减1”的形式，这里n也是一个素数。此后著名数学家如费马、笛卡尔、莱布尼兹、欧拉、哥德巴赫、鲁卡斯、香吉斯、柯尔、吉里斯等都曾对这种质数进行过研究，马丁·梅森是其中成果较为卓著的一位，因此后人将“2的n次方减1”形式的质数称为梅森质数。
梅森质数貌似简单，但研究难度却很大。它不仅需要高深的理论和纯熟的技巧，而且还需要进行艰巨的计算。
1995年底～1996年初美国数学家及程序设计师乔治·沃特曼编制了一个梅森质数计算程序，并把它放在网页上供数学家和数学爱好者免费使用，这就是闻名世界的GIMPS项目。该项目采取分布式计算方式，利用大量普通计算机的闲置计算资源来获得相当于超级计算机的运算能力。著名的英国《自然》杂志曾有一则报道认为：GIMPS项目不仅会进一步激发人们对梅森质数探寻的热情，而且会引起人们对分布式计算应用研究的高度重视。1997年美国数学家及程序设计师斯科特·库尔沃斯基和其他人建立了“素数网”(PrimeNet)，使分配搜索区间和向GIMPS发送报告自动化。现在只要人们去GIMPS的主页下载一个名为Prime95免费程序，就可以立即参加GIMPS项目来搜寻梅森质数。
梅森质数优美而稀少，如同钻石。迄今为止，人类历尽艰辛，总共只发现了44个梅森质数。其中10个是由GIMPS发现的。
GIMPS客户端
GIMPS大事记
- 公元1995年程序员乔治-沃特曼(George Woltman)编制出梅森素数寻找程序并将其放到网上，“互联网梅森素数大搜索”计划开始。
- 公元1997年斯科特·库尔沃斯基(Scott Kurowski)建立PrimeNet，使分配搜索区间和向GIMPS发送报告的过程自动化。
- 公元1996年11月13日发现梅森素数M(1398269)。
- 公元1997年8月30日重复验证证明M(756839)和M(859433)分别是第32个和第33个梅森素数。
- 公元1998年1月27日发现梅森素数M(3021377)。
- 公元1998年3月29日重复验证证明M(1257787)是第34个梅森素数。
- 公元1998年12月18日重复验证证明M(1398269)是第35个梅森素数。
- 公元1999年6月1日发现梅森素数M(6972593)。
- 公元2000年5月19日重复验证证明M(2976221)和M(3021377)分别是第36个和第37个梅森素数。
- 公元2001年4月6日成功验证了第一个1千万位的数字。
- 公元2001年7月25日M(6972593)以下的梅森素数至少都经过了一遍验证。
- 公元1999年6月1日发现了第三十八个梅森素数，这是到目前为止人类所发现的最大素数，它等于6972593个2相乘再减去1， 这个数有2098960位，是由Nayan Hajratwala用了111天才找到的。他赢得了EFF公司为此而设立的5万美元的奖金，此奖是为第一个发现一百万位以上的素数设立的。如果谁第一个发现了一千万位以上的素数，将赢得10万美元的奖金。
- 公元2001年11月14日加拿大志愿者迈克尔-卡梅伦(Michael Cameron)报告发现第39个梅森素数。
- 公元2001年12月经验证，M(13466917)确为第39个梅森素数。
- 公元2003年11月17日美国密歇根州立大学一位26岁的化学工程学研究生迈克尔·谢弗报告发现第40个梅森素数。这个素数可写成2的20996011次方减1，拥有6320430位数。12月2日，该数经验证，确认为当时最大的素数。
- 公元2004年5月15日，Josh Findley的计算机发现了第41个梅森质数 (2^24036583)-1。 这个数比GIMPS找到的上一个质数(2^20996011)-1大将近一百万位，并且是当时所知道的最大质数。
- 公元2005年2月28日，德国的一名眼科医生马丁·诺瓦克利用主频为2．4GHz的个人电脑运行梅森素数计算程序，经过50多天的持续运算终于在2月18日得到了这个7816230位的已知最大素数。它比此前发现的最大素数多50万位。5天之后，一名法国专家独立验证了这一结果。该素数可写成2的25964951次方减1，是第42个梅森素数。
- 公元2005年12月15日，中密苏里州立大学的 Curtis Cooper 和 Steven Bonne 发现了第43个梅森质数(2^30,402,457)-1。