「2のべき乗から1を引いた数」の形で表される素数のことです。例えば、2の2乗から1を引いた「3」や、2の3乗から1を引いた「7」などがこれにあたります。

非常に大きな素数を発見しやすいため、コンピュータの性能測定(ベンチマーク)や、現代の暗号技術の基盤となる数学的探究の対象として重要な役割を果たしています。