还记得年少时的梦吗？
还记得你小学时背诵的素数表吗？那时候它还叫做质数表“2、3、5、7......”如今你是否已经真正理解了老师说过的话：这些只能被1和本身整除的数，具有着无穷的魅力。
还记得你中学时计算的2的整数幂吗？计算机时代，作为二进制的体现，它们正大行其道。“2、4、8、16、32、64、128、256......”十多年来，个人计算机内存的容量正是经历了这些熟悉的数字，直到现在的2048M（2G）以及更多。
现在，让我们从这些2的整数幂中挑出以素数为指数的，再把它减1，试试看会发现什么？22－1＝3、23－1＝7、25－1＝31、27－1＝127......
嗯，你的心是不是激动起来了？一个伟大的发现似乎就在眼前......
别急别急，你的发现很妙，只是有些儿惋惜......你已经迟到了二千年。
在2300多年前，古希腊的数学家，那位写出不朽的《几何原本》的欧几里得在证明了素数有无穷多个之后，就顺便指出：有许多素数可以写成2P－1的形式，其中指数P也是素数。很容易想到，刚才你所发现的22－1、23－1、25－1、27－1正是其中排列最前的4个！
当P＝11、13、17、19、23......的时候，2P－1还是素数吗？到底有多少这种2P－1型的素数呢？在计算能力低下的公元前，这个关于素数的探寻之旅就已经吸引了无数的人。
人们唯独对素数如此着迷不是没有理由的，它有着许多简单而又美丽的猜想，有的已经成为定理，而有的则至今还没有答案。例如著名的哥德巴赫猜想，让人们苦苦追索：是否任何一个大于或等于6的偶数，都可以表示为两个奇素数的和？再比如孪生素数问题所提出的：象5和7、41和43这样相差2的素数，到底有多少对呢？
在数学史上起个大早的古希腊人还有许多关于素数的发现，完美数就是其中之一。毕达哥拉斯学派指出，如果一个数的所有因数（包括1但不包括它本身）的和正好等于它本身，则这个数就叫做完美数。很容易找到，6＝1＋2＋3是第一个完美数，28＝1＋2＋4＋7＋14则是第二个完美数。他们认为，上帝用6天创造了世界，因此6是最理想和完美的数字，而和6具有相同性质的数都堪称完美数。
欧几里得在《几何原本》中证明了如果2P－1是一个素数，那么2P－1（2P－1）一定是一个完美数（你会发现，当P分别等于2、3时，它就对应着前两个完美数6、28）。
再后来，欧拉进一步证明，每一个偶完美数也必定是欧几里得所给出的形式。（不要问我奇完美数呢？就连它是否存在，本身也是无数个关于素数的难题中至今未解的一个。）
很容易看到，找到了2P－1形式的素数，也就发现了新的完美数。
形如2P－1的素数还长期占据了人们寻找到的最大素数的光荣榜（仅在1989年后被39158×2216193－1夺走三年），因为判断这样一个数是素数的方法比判断一个差不多大小的其他类型数是素数的方法要简单得多。
对2P－1型素数的搜寻之旅就这样出发了，先后投入这个漫漫长途的就有数学大师费马、笛卡尔、莱布尼兹、哥德巴赫、欧拉、高斯、哈代、图灵......这一个个闪光的名字正如暗夜前行的火炬手，照亮了人类通往未知的道路。
历史的天空闪烁几颗星
让我们将坐上时间机器，回到过去，重新浏览这来路风光吧。
1456年，又一个没有留下姓名的人发现了第5个2P－1型的素数：213－1。若是你就降生在那个年代，或许这次发现的光荣将归属于你。只是，你更有可能犯下和当时的人们一样的错误，以为对于所有的素数P，2P－1都是素数。要知道，这个错误是近百年之后，直到1536年，才由雷吉乌斯(Hudalricus Regius)打破的。他指出，211-1＝2047＝23×89，不是素数。
不过你的莽撞完全可以得到谅解，在黑暗中寻找的数学家正如年轻人一样，犯下的错误连上帝都会原谅。第一个对这种类型的素数进行整理的皮特罗•卡塔尔迪(Pietro Cataldi)在他在1603年宣布的结果中就言之凿凿地说：对于p=17，19，23，29，31和37，2P－1是素数。只可惜，37年后，他的六个结果就被推翻了两个，费尔马使用著名的小费尔马（不是那个更著名的大费尔马定理）证明了卡塔尔迪关于P＝23和37的结论是错误的。
不知道下面的事实会不会让你联想到“屋漏偏逢连夜雨”呢？大约一百年后，1738年，欧拉证明了卡塔尔迪的结果中P＝29也是错误的。幸好，欧拉又证明了P＝31的结论是对的。
虽然，卡塔尔迪的六个结果“阵亡”了一半，但考虑到他是用手工计算取得结论的，而费尔马和欧拉则是使用了在他们那时最先进的数学知识，避免了许多复杂的计算和因此可能造成的错误，因此我们仍然要对卡塔尔迪致敬。他也由此光荣地占据了第六个和第七个的发现者之位，在他之前的，都是无名氏。
卡塔尔迪的成功，说明了整理和预测是正确道路。继他之后，集研究成果大成的，是17世纪法国著名的数学家和修道士马林•梅森（Marin Mersenne,1588-1648）。
梅森热心于宗教，但更喜爱数学；他是一个交往广泛、热情诚挚的人，更是一座“科学信息交换站”。为什么呢？那时候，学术刊物、国际会议甚至科研机构都还没有诞生。“及时雨”般的梅森是欧洲众多科学家之间联系的桥梁，大家把研究成果寄给他，然后再由他转告给更多的人。费马、笛卡尔等数学家每周在他家聚会，讨论问题，就这样慢慢形成的"梅森学院"，后来有了一个更响亮的名字——法兰西科学院。
1644年，梅森在欧几里得、费马等人的有关研究的基础上对2P－1作了大量的计算、验证工作，并于1644年在他的《物理数学随感》一书中断言：对于P＝2、3、5、7、13、17、19、31、67、127、257时，2P－1是素数；而对于P等于其他所有小于257的数时，2P－1是合数。这里前7个数（即2，3，5，7，13，17和19）是在前人的工作已经证实的部分。而后面的4个数（即31，67，127和257）属于被猜测的部分。不过，人们对他的断言深信不疑，连大数学家莱布尼兹和哥德巴赫都认为它是对的。
梅森的工作极大地激发了人们研究2P－1型素数的热情，成为素数研究的一个转折点和里程碑。为了纪念他，数学界就把这种数称为“梅森数”，并以Mp记之（其中M为梅森姓名的首字母），即Mp=2P－1。如果梅森数为素数，则称之为“梅森素数”（即2P－1型素数）。
对梅森素数的验证，需要进行艰巨的计算，即使是"猜测"部分中最小的M31=231－1=2147483647，也是一个10位数。而梅森自己则承认：“一个人，使用一般的验证方法，要检验一个15位或20位的数字是否为素数，即使终生的时间也是不够的。”年迈力衰的他四年之后就去世了，最终并没有任何一个梅森素数的发现权归属于他，但考虑到他已经享有了“冠名权”，就把荣誉分给那些在漫漫长途上跋涉的发现者们吧！
那些手扛肩挑的年代
手算笔录的时代，每前进一步，都显得格外艰难。1772年，在卡塔尔迪提出近200年之后，瑞士数学家欧拉证明了M31确实是一个素数，这是人们找到的第8个梅森素数，它共有10位数，堪称当时世界上已知的最大素数，欧拉也因此成为第二个在发现者名单上留名的人。让人惊叹的是，这是在他双目失明的情况下，靠心算完成的。这种超人般的毅力与技巧让欧拉获得了“数学英雄”的美誉。法国大数学家拉普拉斯（P.Laplace）说的话，或许可以代表我们的心声：“读读欧拉，他是我们每一个人的老师。”
100年后，法国数学家鲁卡斯提出了一个用来判别Mp是否是素数的重要定理——鲁卡斯定理，这为梅森素数的研究提供了有力的工具。1883年，数学家波佛辛（Pervushin）利用鲁卡斯定理证明了M61也是素数--这是梅森漏掉了的。梅森还漏掉另外两个素数：M89和M107，它们分别在1911年与1914年被数学家鲍尔斯（Powers）发现。
还记得梅森预测的四个素数吗？其中M31已经为欧拉证明，M127则在鲁卡斯提出定理时顺带证明，虽然中间漏掉了3个，但至少还有另外两个：M67和M257是不是素数呢......
M67的证明又是一个精彩的故事。
1903年，数学家柯尔在美国数学学会的大会上作了一个报告。他先是专注地在黑板上算出267－1，接着又算出193707721×761838257287，两个算式结果完全相同！换句话说，他成功地把267－1分解为两个素数相乘的形式，从而证明了M67是个合数。
报告中，他一言未发，却赢得了现场听众的起立鼓掌，更成了数学史上的佳话。阅读这段历史，我们懂得了什么叫做“事实胜于雄辩”。记者好奇地问他是怎样得到这么精彩的发现的，柯尔回答“三年里的全部星期天”。他后来当选为美国数学协会的会长，去世后，该协会专门设立了“柯尔奖”，用于奖励作出杰出贡献的数学家。
1922年，数学家克莱契克验证了M257并不是素数，而是合数（但他没有给出这一合数的因子，直到20世纪80年代人们才知道它有3个素因子）。
于是乎，梅森的四个猜测获得了两正确、三遗漏和两错误的成绩，但这无损于他的光荣。在千年的探寻之旅中，伟大如欧拉也会犯错误，他在1750年宣布说找到了梅森的“遗漏”：M41和M47也是素数，但最终上M41和M47都不是素数。
直到1947年，对于p≤257的梅森素数Mp的正确结果才被确定，也就是当p=2，3，5，7，13，17，19，31，61，89，107和127时，Mp是素数。现在这个表已经被反复验证，一定不会有错误了。
我们看到，在手工计算的时代，人们一共找到了12个梅森素数。
计算机！计算机！
1930年，美国数学家雷默改进了鲁卡斯的工作，给出了一个新的测试方法，即鲁卡斯－雷默方法。很快地，计算机时代到来了，这一方法发挥了重要的作用。1952年，数学家鲁滨逊（Robinson）等人将鲁卡斯－雷默方法编译成计算机程序，使用SWAC型计算机在短短几小时之内，就发现了第13个、第14个，并在当年总共找到了5个梅森素数：M521、M607、M1279、M2203和M2281。
其后，M3217在1957年被黎塞尔（Riesel）证明是素数；M4253和M4423在1961年被赫维兹（Hurwitz）证明是素数。
1963年，美国数学家吉里斯（Gillies）证明M9689和M9941是素数，这已经是第21和22个梅森素数。1963年9月6日晚上8点，当吉里斯通过大型计算机找到第23个梅森素数M11213时，美国广播公司（ABC）中断了正常的节目播放，第一时间发布了这一重要消息，发现这一素数的美国伊利诺伊大学数学系全体师生更是激动地把所有从系里发出的信件都敲上了“211213－1是个素数”的邮戳。
1971年3月4日晚，美国哥伦比亚广播公司（CBS）中断了正常节目播放，发布了布萊恩特•塔克曼（Bryant Tuckerman）使用IBM360-91型计算机找到新的梅森素数M19937的消息。而到1978年10月，世界几乎所有的大新闻机构（包括我国的新华社）都报道了以下消息：两名年仅18岁的美国高中生诺尔（Noll）和尼科尔（ Nickel）使用CYBER174型计算机找到了第25个梅森素数：M21701。
超级计算机的引入加快了梅森素数的寻找脚步，但随着素数P值的增大，每一个梅森素数的产生都更加艰难，各国科学家及业余研究者们之间的竞争变得越来越激烈。在1979年2月23日，当美国克雷研究公司的计算机专家史洛温斯基和纳尔逊正兴致冲冲地宣布他们找到第26个梅森数M23209时，有人浇来一盆冷水：两星期前美国加州的高中生诺尔就已经给出了同样结果。心有不甘的他们又花了一个半月的时间“卧薪尝胆”，使用Cray－1型计算机找到了第27个梅森素数M44497，这件事成了当时不少报纸的头版新闻。
为了与美国人较量，英国的哈威尔实验室也专门成立了一个研究小组来寻找更大的梅森素数。他们用了两年时间，花了12万英镑的经费，于1992年3月25日找到了新的梅森素数M756839。但到了1994年1月14日，史洛温斯基等人为美国再次夺回发现“已知最大素数”的桂冠——这一梅森素数是M859433。史洛温斯基本人一共发现了7个梅森素数，他因此被人们称为“素数大王”。
数学研究的深入更重于计算能力的提升，在搜寻梅森素数的同时，对梅森素数的分布规律的研究也在进行着，英、法、印、美、德等国的数学家都曾分别给出过关于梅森素数分布规律的猜测，但这些猜测都以近似表达式给出，而与实际情况的接近程度均难如人意。中国数学家和语言学家周海中则是这方面研究的领先者，他运用联系观察法和不完全归纳法，于1992年首先给出了梅森素数分布的精确表达式。著名的《科学美国人》杂志有一篇文章指出：这一成果为人们探究梅森素数提供了方便，是素数研究的一项重大突破。后来这项重要成果被国际上命名为“周氏猜测”。
伴随数学理论的改善，为了寻找梅森素数而使用的计算机也越来越强大，包括了著名的IBM360型计算机，和超级计算机Cray系列。1996年发现的M1257787是迄今为止最后一个由超级计算机发现的梅森素数，数学家使用了Cray T94，这也是人类发现的第34个梅森素数。
梅森素数的探寻之旅似乎正变得离普通人越来越远，直到GIMPS时代的到来......
草根英雄，人人参与
网格(Grid)这一崭新技术的出现使梅森素数的搜寻如虎添翼，也使它重新走到了“人人参与”的大众时代。1996年初，美国数学家和程序设计师沃特曼(G.Woltman)编制了一个梅森素数的计算程序，并把它放在网页上供数学家和数学爱好者免费使用，这就是闻名世界的“因特网梅森素数大搜寻”（GIMPS）项目，是全世界第一个基于互联网的分布式计算项目。
该项目利用大量普通计算机的闲置时间来获得相当于超级计算机的运算能力，只要你去GIMPS的主页下载为一个名为Prime95的免费程序，就可以立即参加GIMPS项目，一起踏上持续了千年的梅森素数探寻之旅。
12年来，人们通过GIMPS项目找到了12个梅森素数，其发现者来自美国、英国、法国、德国和加拿大。目前，世界上有160多个国家和地区近16万人参加了这一项目，并动用了30多万台计算机联网来进行网格计算。该项目的计算能力已超过当今世界上任何一台最先进的超级矢量计算机的计算能力，运算速度超过每秒350万亿次！
为了激励人们寻找梅森素数，1999年3月，设在美国的电子新领域基金会（EFF）向全世界宣布了为通过GIMPS项目来探寻梅森素数而设立的奖金。它规定向第一个找到超过一百万位的素数的个人或机构颁发五万美元的奖金。后面的奖金依次为：超过一千万位，十万美元；超过一亿位，十五万美元；超过十亿位，二十五万美元。
1999年6月1日，住在美国密歇根州普利茅茨的那扬•哈吉拉特瓦拉（Nayan Hajratwala）先生找到了第38个梅森素数：26972593－1，这也是我们知道的第一个位数超过一百万位的素数。如果把它写下来的话，共有两百零九万八千九百六十位数字。因此，哈吉拉特瓦拉先生获得了五万美元的奖励。而他所做的，就是从互联网上下载了一个程序，这个程序在他不使用他的奔腾II350型计算机时悄悄地运行。在经过111天的计算后，这个素数被发现了。
听起来非常诱人，但你也要知道，通过参加GIMPS计划来获得奖金的希望是相当小的。哈吉拉特瓦拉使用的计算机是当时21000台计算机中的一台。每一个参与者都在验证分配给他的不同梅森数，当然其中绝大多数都不是素数——只有大约三万分之一的可能性碰到一个素数。所以，绝大多数研究者参与该项目并不是为了金钱，而是出于乐趣、荣誉感和探索精神。
成功者就在眼前，去年8月23日，美国加州大学洛杉矶分校数学系计算中心的雇员史密斯，通过GIMPS项目发现了第46个梅森素数243112609－1，这个发现被著名的美国《时代》周刊评为“2008年度50项最佳发明”之一。该素数是目前已知的最大素数，它有12978189位数，如果用普通字号将这个巨数连续写下来，其长度可超过50公里！由于史密斯发现的梅森素数已超过1000万位，他将有资格获得EFF颁发的10万美元大奖。虽然说史密斯是私自利用中心内的75台计算机参加GIMPS的，但由于为学校争了光，他受到了校方的表彰。
但在你心动之前，不妨也听听另一个人的故事。美国一家电话公司发现计算机经常出错，本来只需要5秒钟就可以接通的电话号码，需要5分钟才能接通。最终查出原来是雇员福雷斯特偷偷地使用公司内的2585台计算机参加GIMPS，福雷斯特承认了自己“被GIMPS项目引诱”，他最后被公司解雇，并被罚款一万美元，这只能说是工作与私事没有分开，令人叹息。
最后的话
素数的研究曾经在人类很长的历史时期没有实际用处，直到二次世界大战之后，才在密码学中得到了重要的应用。对于梅森素数的寻找之旅已经历经千年，人们一共才找到46个梅森素数，在数学家的眼里，它们的价值远胜于钻石，而对它的研究，促进了计算技术、程序设计技术、密码技术、分布式计算技术的发展。让我们谨记梅森素数最早的研究者欧几里得的教诲：当一个人问他"几何学有什么用"的时候，他对侍者说：“给他拿三个硬币吧，他想从几何学中得到好处。”
不是三枚硬币，也不是百万美元，激励着人类不断地向前探寻的，是好奇心、求知欲和荣誉感。
（已刊载于《中国教师报》）
相关文章
今年是国际天文年，建议网友luscky为《新知客》或《新发现》杂志撰写一篇介绍地球人与外星人交流的科普文章.这一热门科学探索课题与数学、哲学、天文学、语言学、生物学、历史学、计算机科学等有关.
建议很好，但不知luscky网友是否有能力撰写。
两位是？
本人是南京大学生物系在读研究生,天文爱好者.
好建议!很有必要.
科普佳作!论述中肯，资料可靠，文笔流畅，可读性强。
又:“电脑内存”改为“计算机内存”，术语要统一。符号“<=”不规范。
谢谢。
他们认为，上帝用6天创造了世界，因此6是最理想和完美的数字，而和6具有相同性质的数都堪称完美数。
--------------------
是后来基督教时代的学者把6附会到创世纪故事上去的。而不是毕达哥拉斯学派这么提出的。
asj说法正确.
罗素在《哲学史》中说“数学与神学的结合开始于毕达哥拉斯，……如果不是他，基督徒就不会认为基督就是道……”。
毕达哥拉斯派崇拜的是数本身，也就是说他们是因为6的完美而崇拜它。而不是它恰好和上帝创世纪的天数相同。或者他们可能这样评价创世纪故事：因为6是无比完美的，所以上帝只能用6天来圆满的创造世界。而不是基督徒所认为的，上帝用了6天，所以6是完美数。
罗素那句话的意思是，后世的基督徒把这种对数字的崇拜引入到了基督教中。等于多了一种用数字的神性来证明上帝神性的途径。这就像后世的基督徒结合柏拉图哲学来完善神学体系一样，并不能说明柏拉图是信奉基督教的。
很简单的一点就是看时间啦，毕达哥拉斯学派存在的时候。基督教还没有产生呢，即便是包含旧约故事的犹太教，希腊人应该也是少有耳闻的。
或者他们可能这样评价创世纪故事：因为6是无比完美的，所以上帝只能用6天来圆满的创造世界。————这倒是，后世有学者就是这样诠释的。
虽然一脉相承，这地方直接说“他们”确实让人容易误解。这个史料吸引人，所以就用上了，看来还是把两边的不同诠释说清楚为好。
究竟人類從何時開始研究完美數，我們並不知道。但埃及人，已經很自然的用它來計算了。而畢達哥拉斯〈Pythagoras〉和他的門徒研究完美數的神秘色彩卻多於數的理論性質。
比較早對完美數的定義是關於整除的部份，當某數等於其所有因數和時，它即是完美數。例如 1=10/10，2=10/5，5=10/2
但是 10≠1+2+5，
所以 10不是完美數。
而最早找出的四個完美數是 6，28，496和8128，發現者已無法考證。 6=1+2+3，
28=1+2+4+7+14
496=1+2+4+8+16+31+62+124+248
8128=1+2+4+8+16+32+64+127+254+508+1016+2032+4064
西元前300年，在歐幾理得幾何原本是數學史上最早有關於完美數的記錄。因它是記錄在幾何原本中，所以讓人感到相當驚訝！其記錄在幾何原本第九冊性質36，敘述如下：
從1開始一直2倍的相加，直到總和為質數時，此質數再乘以最後相加的數，即為完美數。例如：1+2+4=7，因為7是質數，所以〈總和〉‧〈最後一個數〉=7*4=28，28就是完美數。又如1+2+4+8+16=31，因為31是質數，所以31*16=496，496就是完美數。因此綜合得公式如下：1+2+4+8+……+2k-1 =2k –1
若k>1，2k –1是質數時，則2k-1(2k –1)就是完美數。
於西元100年，希臘的Nicomachus是第二位嚴謹地討論完美數者，在他的名著Introductio Arithmetica中，將數分成三類─
第一類：過剩的數─整除部分的和超過自己。
第二類：不足的數─整除部分的和小於自己。
第三類：完美的數─整除部分的和等於自己。
後來Nicomachus雖未經證明，仍推論出關於完美數的部分性質。以現代的定義敘述如下─
(1) 第n個完美數有n位數。
(2) 所有完美數皆為偶數。
(3) 所有完美數的尾數都是6或8這二數交替。
(4) 以歐幾里得生成完美數之公式，即可得所有完美數。換句話說，當 k > 1，而2k –1 是質數時，每一個完美數的型態都是2k-1(2k –1)。
(5) 完美數有無限多個。
接下來我們將說明後來有哪些人證明(1)和(3)是錯誤的，而(2)，(4)和(5)仍是問題。雖然(1)~(5)項很多人當成真理，事實上並未被證實，如完美數6，28，496，8128使人們誤以為(3)是正確的。Saint Augustine(354-430)在其名著The City of God中更寫道─６這個數本身即是完美數，並不是因為在６天內上帝就創造了萬物；相反的是因為６這個數是完美的，所以上帝才在6天內創造萬物。
阿拉伯數學家對完美數亦相當著迷，其中Thabit ibn Qurra驗證出，當p是質數時，2n p的型式必是完美數。而Ibn al-Haytham不但提出歐幾里得性質的逆命題，並證明了當2k –1是質數時，型如 2k-1(2k –1)必是完美數。
1500年來歐洲數學家皆認為Nicomachus的推論是正確的，甚至有數學家相信另一未被證實而且錯誤的結論─當k是奇數時， 2k-1(2k –1)是完美數。
1461年第五個完美數被發現，過不久第六個完美數也被發現了，但未能確定發現者是誰。直到1536年，Hudalrichus Regiusg是第一位推翻對於後來數學家認為是常識的Nicomachus性質，在他的著作Utriusque Atithmetics中指出211 –1=2047=23*89。由此發現第一個質數p，使得2P(2P–1)不是完美數。他又證明了213 –1=8191是質數，所以發現第五個完美數212 (213 –1)=33550336。而第五個完美數卻有8位數，證明了Nicomachus的第一個推論是錯誤的。
到了1603年，Cataldi利用它的質數表，發現217 –1=131071是質數，所以發現第六個完美數216 (217 –1)=8589869056。而第五個及第六個完美數的尾數是6，這項結果證明了Nicomachus的第三個推論是錯誤的。Cataldi又利用它的質數表，發現219 –1=524287是質數，所以發現第七個完美數218 (219–1)=137438691328。而第五個及第六個完美數的尾數是6，這項結果證明了Nicomachus的第三個推論是錯誤的。Cataldi雖然具有發現二個完美數的重大成就，但他仍下錯結論。在其著作Utriusque Arithmetices中寫著指數p=2，3，5，7，13，17，19，23，29，31，37時，使得2P-1 (2P –1)是完美數。當然，因為他已經利用他的質數表證明了當指數p=2，3，5，7，13，17，19時，是正確的；但是他另外四個證明23，29，31，37中，卻只有一個是對的。
許多數學家對完美數相當有興趣，並嘗試著提出理論。如在1638年，Descartes曾寫信給Mersenne，寫著─
我想我可以由歐幾里得的公式證明，沒有不是偶數的完美數；但奇數的完美數必是，某一質數乘以一完全平方數，且其平方根為質數的合成。如22021是質數，9018009的平方根是由質數3，7，11，13的合成，所以22021*9018009=198585576189是完美數。…………………
下一個對完美數有重大貢獻的是Fermat。1640年6月他寫信給Mersenne告訴他關於完美數他的發現，寫著─
…………我已經發現以下三項性質，首先定義完美數的根數，由指數所形成如下，其中1，2，3，4，5，6等是指數，下一行則為根數。
1 2 3 4 5 6 7 8 9 10 11 12 13
1 3 7 15 31 63 127 255 511 1023 2047 4095 8191
确实，越往前追溯，越笼罩着神秘的色彩。而这种神秘有的来自于历史背景，有的来自研究者们。
这正是梅森素数的神秘而迷人之处。梅森素数研究只要有新进展都会轰动学术界和新闻界。
让人向往的是，这种神秘和迷人，千年持续至今。
梅森素数在当代具有十分丰富的理论意义和实用价值。它是发现已知最大素数的最有效途径；它的探究推动了数学皇后——数论的研究，促进了计算技术、程序设计技术、密码技术的发展以及快速傅立叶变换的应用。
探寻梅森素数最新的意义是：它促进了网格技术的发展。而网格技术将是一项应用非常广阔、前景十分诱人的技术。另外，探寻梅森素数的方法还可用来测试计算机硬件运算是否正确。
由于探寻梅森素数需要多种学科和技术的支持，所以许多科学家认为：梅森素数的研究成果，在一定程度上反映了一个国家的科技水平。英国顶尖科学家索托伊(M.Sautoy)甚至认为它是标志科学发展的里程碑。可以相信，梅森素数这颗数学海洋中的璀璨明珠正以其独特魅力，吸引着更多的有志者去探寻和研究。(摘自新浪科技)
很好的文章啊。 只可惜太短，未够解渴。
梅森素数在吸引人们去探索的同时又在磨砺着人类的智慧．这种特殊素数的妙趣之处在于人们可以轻而易举地理解问题的表述，但是想要真正将问题解决，却需要坚强的意志、高超的技巧和艰苦的计算．数学家和语言学家周海中教授在梅森素数研究方面作出了重大贡献，为我们中华民族争了光.
从<>得知：
周氏猜测是我国数学家及语言学家周海中于1992年在《梅森素数的分布规律》一文中提出的重要猜测，其基本内容为：
当2^（2^n）＜p＜2^（2^（n+1））时，Mp有2^（n+1）－1个是素数（注：p为素数；n=0,1,2,3…；Mp为梅森数）。周海中还据此作出了p＜2^（2^（n+1））时梅森素数的个数为2^（n+2）－ n － 2的推论。
这个重要猜测实在太棒了!
周氏猜测简洁而优美，实在太棒了!
著名数学家、中科院院士张景中教授在《“周氏猜测”揭示数学之美》一文中有很高的评价。
简洁而优美的“周氏猜测”是梅森素数基础研究的一项重大突破。
周氏猜测揭示了梅森素数的奥秘，使人们了解了梅森素数的重要性质，是素数研究的一项重大突破。
在数学领域华人提出的有影响力的命题并不多，而“周氏猜测”就是其中的一个。
周氏猜测是简洁而优美的。它把人们对梅森素数分布的理论研究推向壮丽的巅峰， 并为人们留下一个魅力无穷的更伟大的谜团。
经验证，“周氏猜测”确实太棒了!
知道496这个完美数在弦理论中的作用和地位吗？知道偶完美数&梅森素数和弦理论之间有什么联系吗？知道群在弦理论中的作用吗？知道偶完美数&梅森素数和群之间有什么联系吗？
好文!
梅森素数问题和其他许多数论问题一样，是十分有挑战性的，也是很困难的。但也正是问题解决过程中所必然要经历的困难才吸引着越来越多的有志者去继续探寻它的奥秘。
建议luscky网友就梅森素数问题再写一篇长点够解渴的好文。
网友Dale的建议很好
对素数的了解又加深了！
PS：
http://www.mersenne.org/
看了一下，08年8月发现的是第45个，9月发现了第46个。
嗯，这里是按大小，08年8月发现的是第46个，9月又发现了第45个。
这也符合前文的叙述方式。
另外注：现在还不知道在第39个梅森素数（M13,466,917）和第46个（M43,112,609）之间是否还存在未知梅森素数。
在GIMPS站上的叙述方式略有不同，它是按时间排的。
luscky网友说对了。
好文章!
梅森素数的魅力
--------------------------------------------
■数学趣闻
素数也叫质数，是只能被自己和1整除的数，如2、3、5、7、11等。2300年前，古希腊数学家欧几里得证明了素数有无穷多个，并提出少量素数可写成“2^p-1”的形式，这里的指数p也是一个素数。由于这种素数具有许多独特的性质和无穷的魅力，千百年来一直吸引着众多的数学家和无数的业余数学爱好者对它进行探究。
17世纪法国著名数学家梅森曾对“2^p-1”型素数作过较为系统而深入的探究，并作出著名的断言（现称“梅森猜想”）。由于他是当时欧洲科学界的中心人物和法兰西科学院的奠基人，数学界就将“2^p-1”型的素数称为“梅森素数”。迄今为止，人类仅发现46个梅森素数。这种素数珍奇而迷人，因此被人们誉为“数学海洋中的璀璨明珠”。
一言不发的“演讲”
梅森曾于1644年断言：“2^67-1是个素数。”当时，人们对其断言深信不疑，连德国大数学家莱布尼兹和哥德巴赫都认为它是对的。也许这是因为梅森的名气太大了，因此没有人敢对其断言表示怀疑。
1930年，在美国数学协会的年会上，数学家科尔作了一次精彩的演讲，他提交的论文题目是“关于大数的因子分解”。在“演讲”过程中，他始终一言不发，只默默地在黑板上进行计算。他先算出2^67-1的结果，再算出193707721×761838257287的结果，两个结果完全一样。科尔第一个否定了“2^67-1是个素数”这一自梅森断言以来一直被人们相信的结论，其“演讲”赢得了全场听众起立热烈鼓掌和齐声喝彩。这个“一言不发的演讲”成了科学史上的佳话。
会后，人们问科尔：“你花费多少时间来研究这个问题？”他静静地说：“三年的全部星期天。”后来，这一传奇的“演讲”使他当选为美国数学协会的会长。他去世后，该协会专门设立了“科尔奖”，用于奖励作出杰出贡献的数学家。
灵机一动见曙光
素数的分布时疏时密很不规则，而特殊素数—梅森素数的分布更加无序。加上人们尚未知梅森素数是否有无穷个，因此探究梅森素数的重要性质—分布规律似乎比寻找新的梅森素数更困难。虽然英、法、德、美等国的数学家曾给出过关于梅森素数分布的猜测，但他们的猜测有一个共同点，就是都以近似表达式给出，其结果与实际情况的接近程度难如人意。
我国数学家和语言学家周海中1977年在雷州半岛当知青时开始探究梅森素数的分布规律。因当时国内有关这方面的资料十分匮乏，加之没有计算机，所以他的探究在初期就困难重重，有过无数次的失败，但他并不气馁。有一天，周海中在阅读一本关于法国数学大师费马的书时，想到了“费马数”的形式，这为他后来解决梅森素数分布这一难题找到了突破口。
经过多年的不懈努力，到1992年2月26日，周海中终于发现了梅森素数的分布规律，并给出它的精确表达式。著名的《科学美国人》杂志有一篇文章指出：这一成果为人们探究梅森素数提供了方便，是素数研究的一项重大突破。后来这项重要成果被国际上命名为“周氏猜测”。
同人不同命
1996年，美国数学家和程序设计师沃特曼编制了一个梅森素数的计算程序，把它放在因特网上供数学家和业余数学爱好者免费使用，这就是闻名世界的“因特网梅森素数大搜寻”（GIMPS）项目。设在美国的电子新领域基金会（EFF）于1999年向全世界宣布：通过GIMPS项目找到超过1000万位的梅森素数的个人或机构可获得10万美元的奖金。
2008年8月23日，美国加州大学洛杉矶分校数学系计算中心的雇员史密斯，通过GIMPS项目发现了第46个梅森素数2^43112609-1。该素数是目前已知的最大素数，它有12978189位数，如果用普通字号将这个巨数连续写下来，其长度可超过50公里！
史密斯是私自利用中心内的75台计算机参加GIMPS的。由于为学校争了光，他受到了校方的表彰。前不久，著名的美国《时代》周刊将第46个梅森素数评为“2008年度50项最佳发明”之一。最近，史密斯还获得了EFF颁发的10万美元大奖。
另一位仁兄就没有这样的运气。美国一家电话公司的雇员福雷斯特偷偷地使用公司内的2585台计算机参加GIMPS。随后公司发现计算机经常会出些差错，本来只需要5秒钟就可以接通的电话号码，需要5分钟才能接通。联邦调查局最终查到了原因，福雷斯特承认“被GIMPS项目引诱”。福雷斯特最后被解雇，并被罚款一万美元。
(来源:《羊城晚报》)
luscky的文章确实不错，Dale的建议也很好。
希望luscky就梅森素数(该素数历来是科学探索的热点和难点)为科普杂志(如《新知客》、《新发现》等)撰写一篇长点够解渴的文章(附有更多的相关图片，语言表达要科学、准确、严谨、生动、有趣)。
梅森素数是一个很值得向国人介绍的数学名题。
梅森素数这个数学名题会吸引着越来越多的有志者去继续探寻它的奥秘。
探寻数学珍宝——梅森素数
--------------------------------------------------------------------------------
陈琦 章平
据美国主流媒体《全国公共广播电台》(NPR) 6月16日报道，挪威科学家奥德·斯特林德莫通过参加一个名为“因特网梅森素数大搜索”(GIMPS)的国际合作项目，日前发现了第47个梅森素数，该素数为“2的42643801次方减1”；它有12837064位数，如果用普通字号将这个巨数连续写下来，它的长度将超过50公里!
梅森素数的诱惑
素数也叫质数，是在大于1的整数中只能被1和其自身整除的数(如2、3、5、7等等)，素数有无穷多个。而形如“2的P次方减1” （其中指数P为素数）的素数称为梅森素数，以17世纪法国著名数学家、法兰西科学院的奠基人梅森的名字命名。梅森素数是数论研究的一项重要内容，也是当今科学探索的热点和难点之一。
早在公元前300多年，古希腊数学大师欧几里得就开创了探寻“2的P次方减1”型素数的先河。他在《几何原本》这一经典著作中论述完全数时曾研究过这种特殊的素数。由于梅森素数有许多独特的性质和无穷的魅力，千百年来一直吸引着众多的数学家，如费马、笛卡尔、莱布尼兹、哥德巴赫、欧拉、高斯、哈代、图灵等和无数的业余数学爱好者对它进行研究和探寻。2300多年来，人类仅发现47个梅森素数。由于这种素数珍奇而迷人，因此被人们誉为“数学珍宝”。
梅森素数的研究难度极大，它不仅需要高深的理论和纯熟的技巧，而且需要进行艰苦的计算。1772年，被誉为“数学英雄”的欧拉在双目失明的情况下，以惊人的毅力靠心算证明了“2的31次方减1”是第8个梅森素数，该素数有10位数(即2147483647)，堪称当时世界上已知的最大素数。
梅森素数的探究不仅极富挑战性，而且对研究者来说有一种巨大的自豪感。1963年9月6日晚上8点，当第23个梅森素数“2的11213次方减1”通过大型计算机被找到时，美国广播公司(ABC)中断了正常的节目播放，在第一时间发布了这一重要消息。发现这一素数的美国伊利诺伊大学数学系全体师生感到无比骄傲，为让全世界都分享这一成果，以至把所有从系里发出的信封都盖上了“2的11213次方减1是个素数”的邮戳。
特别值得一提的是，中国数学家和语言学家周海中经过多年的研究，于1992年首先给出了梅森素数分布的精确表达式，为人们探究梅森素数提供了方便。后来这一重要成果被国际上命名为“周氏猜测”。
网格技术来助力
网格（Grid）这一崭新技术的出现使梅森素数的探究如虎添翼。1996年初美国数学家及程序设计师乔治·沃特曼编制了一个梅森素数计算程序，并把它放在网页上供数学家和业余数学爱好者免费使用。这就是著名的GIMPS项目。该项目采取网格计算方式，利用大量普通计算机的闲置时间来获得相当于超级计算机的运算能力。现在只要人们去GIMPS的主页下载那个免费程序，就可以立即参加GIMPS项目来寻找梅森素数。
为了激励人们寻找梅森素数和促进网格技术发展，设在美国的电子新领域基金会(EFF)于1999年3月向全世界宣布了为通过GIMPS项目来寻找新的更大的梅森素数而设立的奖金。它规定向第一个找到超过1000万位数的个人或机构颁发10万美元。后面的奖金依次为：超过1亿位数，15万美元；超过10亿位数，25万美元。其实，绝大多数研究者参与该项目并不是为了金钱，而是出于乐趣、荣誉感和探索精神。
去年8月，美国科学家埃德森·史密斯发现了第46个梅森素数“2的43112609次方减1”，该素数有12978189位，它是目前已知的最大素数。史密斯是第一个发现超过1000万位的梅森素数的人，他获得了EFF颁发的10万美元大奖。去年底这一重大发现被著名的美国《时代》周刊评为“2008年度50项最佳发明”之一。
13年来，人们通过GIMPS项目找到了13个梅森素数，其发现者来自美国、英国、法国、德国、加拿大和挪威。目前世界上已有170多个国家和地区近18万人参加了这一项目，并动用了37万多台计算机联网来进行网格计算，以寻找新的梅森素数。该项目的计算能力已超过当今世界上任何一台最先进的超级矢量计算机的计算能力，运算速度超过每秒400万亿次。
梅森素数的意义
梅森素数在当代具有十分丰富的理论意义和实用价值。它是发现已知最大素数的最有效途径，它的探究推动了数学皇后——数论的研究，促进了计算技术、程序设计技术、密码技术的发展以及快速傅立叶变换的应用。
梅森素数的探究同时促进了网格技术的发展，而网格技术将是一项应用非常广阔、前景十分诱人的技术。另外，探究梅森素数的方法还可用来测试计算机硬件运算是否正确。
由于梅森素数的探究需要多种学科和技术的支持，所以，许多科学家认为，梅森素数的研究成果，在一定程度上反映了一个国家的科技水平。英国顶尖科学家马科斯· 索托伊甚至认为它是标志科学发展的里程碑。
(转自<>2009-6-23)
想起好笑。。本人在上高中。我无意发现这个规律，自以为是找到了新大陆，原来早就被人发现了，惭愧。。在下孤陋寡闻，以后多光顾松鼠，增长见识
想起好笑。。本人在上高中。我无意发现这个规律，自以为是找到了新大陆，原来早就被人发现了，惭愧。。在下孤陋寡闻，以后多光顾松鼠，增长见识.
这才象科普文章
梅森素数的研究成果，在一定程度上反映了一个国家的科技水平。
不是三枚硬币，也不是百万美元，激励着人类不断地向前探寻的，是好奇心、求知欲和荣誉感。
luscky的这篇文章写得生动有趣，而且史料可靠。
好文!
梅森素数是数论研究的一项重要内容，也是当今科学探索的热点和难点之一。
梅森素数的研究成果，在一定程度上反映了一个国家的科技水平。OK!
梅森与素数
--------------------------------------------------------------------------------
2010年3月18日 00:00 新闻来源:羊城晚报 阅读次数: 1120
你或许知道哥德巴赫猜想代表了一个国家的数学水平，但你是否也知道，梅森素数的研究成果，一定程度上反映了一国的科技水平？
一个由多国科学家组成的评审委员会日前遴选出100位在世界科学史上有重要地位的科学家。你或许知道入选者中大名鼎鼎的亚里士多德、阿基米德、哥白尼、伽利略、笛卡尔、牛顿、达尔文、爱因斯坦等，但你是否知道马林·梅森呢？
从神学走向科学
梅森何许人也？梅森是17世纪欧洲科学界一位独特的中心人物。
1588年他出生在法国奥译的一个工人家庭，16岁进入耶稣会办的学校学习，1609年从索邦神学院毕业后任神职人员，1619年到巴黎的拉农西亚德女修道院教授神学和哲学。
虽然梅森是一位神职人员，但他却是科学的热心拥护者和守望者，在教会中为了保卫科学事业做了很多有益的工作。梅森有很高的科学素养，其研究涉及声学、光学、力学、航海学和数学等多个学科，并有“声学之父”的美称；而他对科学所作的主要贡献还是他起了一个极不平常的学术思想通道作用。
17世纪30年代以前，学术刊物和国际会议等还远远没有出现，甚至连科学研究机构都没有创立，学识渊博、交往广泛和热情诚挚的梅森成了欧洲科学家之间的联系桥梁。许多科学家都乐于将成果告诉他，然后再由他转告给更多的人；因此，他被人们誉为“有定期学术刊物之前的科学信息交换站”。美国著名天体物理学家、邓普顿奖得主斯坦利·杰基认为，梅森是17世纪早期学术成果优劣的最佳鉴定者。
梅森的寓所是大科学家伽利略、笛卡尔、费马、帕斯卡、开普勒、罗伯瓦、迈多治、托里切利、伽桑狄等常去之处，每周一次轮流地讨论数学、物理等问题，这种民间学术组织被称为“梅森学院”，它就是世界闻名的法兰西学院的前身。
梅森曾听到友人介绍：在遥远的东方有个神秘的文明大国，名字叫中国；那里的人们勤奋好学、思想自由。因此，他曾渴望到中国传教和交流学术。遗憾的是，其愿望未能实现，他于1648年因肺病在巴黎逝世。
梅森素数：数海明珠
梅森的学术成就以素数研究最为著名。
素数是整个数学学科的基石；它也叫质数，是只能被1和自身整除的数，如2、3、5、7等等。公元前300多年，古希腊数学家欧几里得用反证法证明了素数有无穷多个，并提出了少量素数可写成2p－1（其中指数P为素数）的形式。此后许多数学家，包括数学大师费马、笛卡尔、哥德巴赫、高斯、欧拉等都研究过这种特殊形式的素数，而梅森是其中成果最为卓著的一位。
由于梅森德高望重，并是法兰西学院的奠基人，为了纪念他，数学界就把2p－1型的数称为“梅森数”；如果梅森数为素数，则称之为“梅森素数”。2300多年来，人类仅发现47个梅森素数。由于这种素数珍奇而迷人，因此被人们誉为“数海明珠”。梅森素数一直是数论研究的一项重要内容，也是当今科学探索的热点和难点之一。
梅森素数貌似简单，但研究难度却极大；它不仅需要高深的理论和纯熟的技巧，而且需要进行艰巨的计算。1772年，被誉为“数学英雄”的欧拉在双目失明的情况下，以惊人的毅力和高超的技巧靠心算证明了231－1是第8个梅森素数，该素数有10位（即2147483647），堪称当时世界上已知的最大素数。
最近十几年，由于因特网和计算机技术的迅速发展，使梅森素数的探究取得了重大进展。人们通过一个名为“因特网梅森素数大搜索”(GIMPS)的国际合作项目找到了13个梅森素数，其发现者来自美国、英国、法国、德国、加拿大和挪威。目前，世界上已有170多个国家和地区近18万人参加了GIMPS项目，并动用37万多台计算机联网来进行网格计算以寻找新的梅森素数。
特别值得一提的是，中国数学家和语言学家周海中于1992年首次给出了梅森素数分布的准确表达式,为人们探究梅森素数提供了方便。后来这一重要成果被国际上命名为“周氏猜测”。
梅森素数在当代具有十分丰富的理论意义和实用价值。它是发现已知最大素数的最有效途径；它的探究推动了数学皇后———数论的研究，促进了计算技术、程序设计技术、网格技术和密码技术的发展以及快速傅立叶变换的应用。
在当代梅森素数的探究需要多种学科和技术的支持，所以许多科学家认为：它的研究成果，一定程度上反映了一国的科技水平。英国顶尖科学家、牛津大学教授马科斯·索托伊甚至认为它是人类智力发展在数学上的一种标志,也是科学发展的里程碑之一。
梅森素数在当代具有十分丰富的理论意义和实用价值。
素数和合数哪一个多？
其实除了个位数之外，只要是个位为1、3、7、9的多位数，都本应该是素数，但若不是指数，如21，21=3*7，分解因式后就是素数
其实除了个位数之外，只要是个位为1、3、7、9的多位数，都本应该是素数，但若不是素数，如21，21=3*7，分解因式后就是素数
很棒的故事，科学的魅力
这不是《幻方与素数》中的素数章吗？
我已经站在研究梅森数问题的巅峰上，我已经彻底终极了梅森数问题，也就是说我已经找到了证明“梅森素数有无穷多个”的方法。环顾四周，我感觉研究梅森数问题的其他所有的人还在山脚上转悠，都还没有找到上山的路。(昆明市富民县永定街道办 刘坤)
刘坤站在研究梅森数问题的巅峰上，要小心翼翼，否则会从山顶摔下来。
谢谢你的提醒，我自信我已经占稳了脚跟。我的根基是经过反复思考、精心论证而确立的，是经得起推敲的，因此我的根基是牢固的，我不会从山顶摔下来。当然了，如果出现什么意外使我从这个山顶上消失，那么我估计无人能再登上这个山顶，那将是数学史上的重大不幸。
你这是双关么……
“你这是双关么……”，可以这么理解。说一点双关语，散发出智慧的灵性，让人浮想联翩，还能大彻大悟。