第76章 想法 (第1/2页)

    到了九月，气温还是没降下来！

    陆晨阳看了一个新闻，觉得很有趣，就自己开始研究一下。

    新闻说，第44个梅森素数被人发现了，那么多年，居然才发现了44个，速度有些慢啊！

    素数，又称为质数，指的是大于1的整数中只能被1和自身整除的，素数已经被反证法证明有无穷多个，2、3、5、7、11这些都是素数。

    梅森是位数学家，为了纪念他，把符合2^p－1的形式的称为梅森数，用mp=2^p－1的形式表达，其中p为素数。

    当mp也是素数的时候，如3、7、31、127，这些满足表达式的素数又称为梅森素数，在没有计算机的时代，靠着个人的计算，当数字变大以后，梅森素数的发现变得很困难。

    首先最大素数的发现和证明就是一件困难的事情，1772年，数学家欧拉在数目失明的情况下靠着心算证明了2147483647是一个素数，进而得知它是第八个梅森素数。

    后来数学家卢卡斯提出了一个判别mp是否为素数的定理，称为卢卡斯定理，并且他证明了m127是素数，这是靠手工发现的最大素数。

    而有了计算机以后，可以利用计算机程序来寻找梅森素数，这之后所有的发现都离不开计算机，因为随着指数p的增大，每一个梅森素数产生变得更加艰难，梅森素数m44497是靠着超级计算机cray1发现的。

    后来，crayxmp、necsx2、crayt94等计算机的加入促进了梅森素数的发现。

    只是由于使用超级计算机寻找梅森素数的代价很昂贵，到了互联网时代以后，沃特曼和库尔沃斯基等人建立了第一个基于互联网的分布式计算项目，因特网梅森素数大搜索——gimps。

    你可以在gimps的主页上下载一个计算梅森素数的程序，参与到梅森素数的搜索，通过这种方式，不仅成本降低，而且参与度有很大提升，即便是普通人也可以加入到寻找的行列。

    eff在1999年宣布，为通过gimps项目寻找新的更大的梅森素数而设立奖金，向第一个找到超过100万位数的个人或机构颁发5万美金，第一个找到超过1000万位数的奖励10万美金，第一个找到一亿位数的奖励15万美金，超过10亿位数的奖励25万美金，任何的发现者都有3000美金的奖励。

    遗憾的是，到第44个梅森素数发现为止，还没有一个是国人发现的，关于梅森素数分布规律的研究，只有一个周氏猜想是有关这方面的，至于具体发现梅森素数，国人是毫无建树，这也没办法苛责，毕竟知道的人都很少。

    而第44个梅森素数还没突破一千位，如果能找到第45个，那可不仅是10万美金的奖励，这点钱谁在乎，更重要的是名誉啊，一个留名的机会。

    到了公司后，陆晨阳就把自己看到的新闻说给公司里的程序员听，想问问他们能不能利用公司的计算机，在机器空闲的时候，也能发挥下余热，搞一搞看看能不能有所发现，或者是通过发布一个类似的程序，让