若一个素数是某个素数p通过公式2p-1计算得到的，则称这个素数为梅森素数，记作Mp。（若这个公式2p-1算出的是一个合数，则称之为梅森数。）梅森素数一直受到人们的关注的原因有两个：

靠前，它们是由已知的素数计算得到的，便于考查；

第二，梅森素数公式为我们发现另一类神奇数字提供了可能。