第13章 最纯粹的数学（1/2）

　　除了这三个比较重要的梅森素数之外，作为曾经参与过GIMPS中一员的秦飞还知道很多GIMPS运行过程中的里程碑事件。
　　不过这些不重要了，仅仅是知道M74207281、M77232917和M82589933这3组数是依然没有发现的梅森素数就够了。
　　通过一番验证，秦飞发现在这个时空里电子新领域基金会依然是存在的。
　　该时空下，电子新领域基金会（EFF）同样设立了专项奖金悬赏符合条件的梅森素数发现者。
　　至于悬赏规则跟前世也丝毫不差，该组织规定向找到超过100万位数的个人或机构颁发5万美元。
　　向找到超过1000万位数的颁发10万美元，向找到超过1亿位数的颁发15万美元，向找到超过10亿位数的颁发25万美元。
　　而M74207281、M77232917和M82589933这3组数都在一千万位以上。
　　也就是说按照这个基金会对梅森素数发现者的悬赏原则，秦飞所知道的这三组数就意味着30万美元。
　　按现下的人民币汇率来算的话，30万美元大概就是一百八十多万。
　　对此时的秦飞而言，接近两百万的收入也算是一笔不菲的收入了。
　　所以说重生与其记什么双色球呢，不如多记几个梅森素数靠谱一些。
　　虽然发现一个梅森素数很麻烦，但如果对于给定的一个数，验证其是不是梅森素数从理论上出发还是要相对简单的。
　　验证一个数是否为梅森素数，通常需要进行以下两个步骤：
　　第一步：判断该数是否为素数。素数是只能被1和它本身整除的正整数。
　　有多种方法可以判断一个数是否为素数，比如试除法、欧拉判别法、费马小定理等。
　　第二步：如果该数是素数，再判断是否满足梅森素数的定义。
　　即判断是否可以表示为2^p-1的形式，其中p是一个素数。为了判断一个数是否可以表示为2^p-1的形式，可以使用Lucas-Lehmer测试。
　　Lucas-Lehmer测试即卢卡斯-莱默检验法。
　　这是一种特殊的测试方法，适用于梅森素数的验证。
　　虽然验证一个数是否为梅森素数这个过程也是要耗费计算资源的。
　　但相对于发现一个梅森素数所用到的计算资源来说，只能说是九牛一毛。
　　前世在发掘梅森素数时，最火热的时候，世界上有180多个国家和地区近27万人，参加了GIMPS的国际合作项目，并动用超过70万台计算机联网来寻找梅森素数。
　　70万台联网计算机的计算能力已超过很多被称为世界最先进的超级矢量计算机的计算能力。
　　这种分布式计算所折合的运算速度理论上能超过每秒800万亿次的超级计算机。
　　仅从人力、物力、计算力方面来说，寻找一个梅森素数所动用的资源往往是十分巨大的。
　　因此，虽然提交一个梅森素数会获得十万美元的奖励。
　　但十万美元比起提早发现一个梅森素数所能节省的各种资源来说依然是不算什么的。
　　-----------------
　　如果站在数学外行的角度来看，其实很难理解为什么这些人耗费大量资源疯狂的追寻梅森素数并且如同收藏家收集藏品一般的去收集新的梅森素数。
　　但对于数学业内人士来看，梅森素数还是相当之重要的。
　　梅森素数的定义虽然简单，但却又如此神秘莫测。
　　梅森素数在数学中有着重要的地位，伴随着梅森素数往往是很多奇妙的规律。