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

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

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

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

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

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

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

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

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

后来，cray-xmp、nec-sx2、cray-t94等计算机的加入促进了梅森素数的发现。

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

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