rmula_2不一定皆为素数，比如formula_7和formula_8是素数，但formula_9却不是素数。截至2018年12月，已知的梅森素数共有51个。已知最大的梅森素数是formula_10。从1997年至今，所有新的梅森素数都是由互联网梅森素数大搜索（GIMPS）分布式计算项目发现的。
相关命题和定理.
梅森数和梅森素数的关系.下面的命题关注什么样的梅森数是梅森素数。
寻找梅森素数.Sect