马林·梅森的梅森素数

形如2^p－1的正整数，其中p是素数，常记为Mp 。若Mp是素数，则称为梅森素数。梅森素数貌似简单，而研究难度却很大。它不仅需要高深的理论和纯熟的技巧，而且需要进行艰巨的计算。即使属于“猜测”部分中最小的M31=2147483647，也具有10位数。可以想象，它的证明是十分艰巨的。正如梅森推测：“一个人，使用一般的验证方法，要检验一个15位或20位的数字是否为素数，即使终生的时间也是不够的。

迄今为止，人类仅发现48个梅森素数。由于这种素数珍奇而迷人，它被人们称为“数学珍宝”。梅森素数历来是数论研究的一项重要内容，也是当今科学探索的热点和难点之一。

值得一提的是：在梅森素数的基础研究方面，法国数学家鲁卡斯和美国数学家雷默都做出了重要贡献；以他们命名的“鲁卡斯-雷默方法”是目前已知的检测梅森素数素性的最佳方法。此外，中国数学家和语言学家周海中给出了梅森素数分布的精确表达式，为人们寻找梅森素数提供了方便；这一研究成果被国际上命名为“周氏猜测”。