マラン・メルセンヌ
メルセンヌは"Cogitata Physico-Mathematica "(1644年)において、 2 − 1 が素数になるのは、n ≤ 257 では、n = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257 (A109461)だけであると主張した。実際にはリスト以外のn = 61, 89, 107も素数であり、リスト内のn = 67, 257の場合は素数ではなく合成数であることが後にオイラー、ルーカス、パヴシン等により証明された。nにあらゆる数値を代入し素数を検証・発見することは今では世界中でコンピューターを使って行われている。 2 − 1の形で書き表せる自然数をメルセンヌ数、また素数である場合は特にメルセンヌ素数と呼ぶ。2018年12月現在、51個のメルセンヌ素数が発見されている。
メルセンヌ素数を用いた擬似乱数発生アルゴリズムを用いて開発された擬似乱数生成器にメルセンヌ・ツイスターがある。擬似乱数はコンピュータの速度競争やアルゴリズムの優劣判定、公開暗号キー等に使用されるようになる。