メルセンヌ予想
..(A120334による数列)
なお、67と257 (67=2+3, 257=2+1) は元々のメルセンヌ予想に含まれていたが、一方で89と107は元々のメルセンヌ予想に含まれていなかった。そのため、メルセンヌは「ある自然数 k に対して p = 2 ± 1 もしくは p = 4 ± 3 を必要十分条件として 2 - 1 が素数である」というように考えていた可能性がある(A122834)。
新メルセンヌ予想は数世紀も前のメルセンヌ予想を甦らせようという試みにも受け取られるが、そのような認識は正しくない。しかし、Robert D. Silvermanによれば、en:John Selfridgeは「新メルセンヌ予想は既知のデータに合うように選ばれており、これらに対する反例は全くあり得そうにないため『明らかに真である』」と述べている。この問いかけは新メルセンヌ予想の証明の必要性に対する興味深い考察であると言える。
Renaud Lifchitzは3つの条件のうち1つを持つことが既に知られているすべての奇素数を検定することで新メルセンヌ予想が20,996,010以下のすべての整数に対して真であることを示した。Lifchitzのウェブサイトでは20,996,010までのすべての数字の検定についてドキュメント化している。さらに、新メルセンヌ素数に関する現在の最新のニュースに関してはThe New Mersenne Prime conjectureを参照。