python程序判断梅森素数_梅森素数的探索之旅

2009年5月22日，对于很多人来说并不是什么特别的日志，不过数学界这边又传来了一个“喜讯”：我们已经找到了第47个梅森素数，即$2^{42643801}-1$是一个素数！新的素数已于6月12日通过法国的Tony Reix的验证，这是目前的第二大素数，有12,837,064位数字！这是通过参加一个名为“因特网梅森素数大搜索”(GIMPS)的国际合作项目而发现的。让我们来共同回顾这一素数之旅！

素数/梅森素数

素数，现在课本上都已经成为“质数”了，不过目前很多数学家、爱好者都还是将其称为素数(也许这个名字好听)。这是指一些不可分解成两个比它本身小的两个整数相乘的形式的数，如2、3、5、7等。除了2外，所有的素数都是奇数。

2000年前，古希腊的毕达哥拉斯学派提出了一种有趣的数字：这个数的所有因子(不包含这个数本身)之和等于原数，这种数字被称为“完全数”，如6=1+2+3，1、2、3是6的所有因子。从此，这种数字就被作为一个有趣的课题流传了下来。

大数学家欧几里得提出了一个构造完全数的式子：$2^{p-1}(2^p-1)$，其中$2^p-1$是一个素数。也许欧几里得并不会想到，这个式子带来了一个人们经久不衰的话题，那就是寻找诸如$2^p-1$的梅森素数。当然，第一次把这种形式的素数独立出来研究的，是数学家梅森而不是欧几里得。现在，我们找到了一个梅森素树，就等价于找到了一个完全数。因为，目前没有发现任何奇数形式的完全数，偶数形式的也只有这一种。

寻找历程

然而，寻找梅森素树的历程并不平坦&#