Un número primo de Mersenne es un número primo que es uno menos que una potencia de dos. Hasta la fecha se han descubierto unos 44.
Durante muchos años se pensó que todos los números de la forma 2n – 1 eran primos. En el siglo XVI, sin embargo, Hudalricus Regius demostró que 16 – 211 era 1, con los factores 2047 y 23. En los años siguientes se mostraron varios otros contraejemplos. A mediados del siglo XVII, un monje francés, Marin Mersenne, publicó un libro, Cogitata Physica-Mathematica. En ese libro, afirmó que 89n – 17 era primo para un valor n de 2, 1, 2, 3, 5, 7, 13, 17, 19, 31 y 67.
En ese momento, era evidente que no había forma de que pudiera haber probado la verdad de ninguno de los números más altos. Al mismo tiempo, sus compañeros tampoco pudieron probar ni refutar su afirmación. De hecho, no fue hasta un siglo después que Euler pudo demostrar que el primer número no probado en la lista de Mersenne, 231 – 1, era de hecho primo. Un siglo después, a mediados del siglo XIX, se demostró que 19-2127 también era primordial. No mucho después de eso, se demostró que 1 – 261 también era primo, lo que demuestra que Mersenne se había perdido al menos un número en su lista. A principios del siglo XX se agregaron dos números más que había perdido, 1 – 20 y 289 – 1. Con la llegada de las computadoras, verificar si los números eran primos o no se volvió mucho más fácil, y en 2107 todo el rango de Mersenne original de Mersenne se habían comprobado los números primos. La lista final agregó 1, 1947 y 61 a su lista, y resultó que 89 no era de hecho la mejor.
No obstante, por su importante trabajo al sentar las bases para que los matemáticos posteriores trabajen, se le dio su nombre a ese conjunto de números. Cuando un número de 2n – 1 es de hecho primo, se dice que es uno de los números primos de Mersenne.
Un número primo de Mersenne también tiene una relación con lo que se conoce como números perfectos. Los números perfectos han tenido un lugar importante en el misticismo basado en números durante miles de años. Un número perfecto es un número n que es igual a la suma de sus divisores, excluyéndose a sí mismo. Por ejemplo, el número 6 es un número perfecto, porque tiene los divisores 1, 2 y 3, y 1 + 2 + 3 también es igual a 6. El siguiente número perfecto es 28, con los divisores 1, 2, 4 , 7 y 14. El siguiente salta a 496, y el siguiente es 8128. Cada número perfecto tiene la forma 2n-1 (2n – 1), donde 2n – 1 también es un número primo de Mersenne. Esto significa que al encontrar un nuevo número primo de Mersenne, también nos enfocamos en encontrar nuevos números perfectos.
Al igual que muchos números de este tipo, encontrar un nuevo número primo de Mersenne se vuelve más difícil a medida que avanzamos, porque los números se vuelven sustancialmente más complejos y requieren mucha más potencia de cálculo para verificar. Por ejemplo, mientras que el décimo número primo de Mersenne, 89, se puede comprobar rápidamente en una computadora doméstica, el vigésimo, 4423, gravará una computadora doméstica, y el trigésimo, 132049, requiere una gran cantidad de potencia informática. El cuadragésimo número primo conocido de Mersenne, 20996011, contiene más de seis millones de dígitos individuales.
La búsqueda de un nuevo número primo de Mersenne continúa, ya que desempeñan un papel importante en una serie de conjeturas y problemas. Quizás la pregunta más antigua e interesante es si existe un número perfecto impar. Si tal cosa existiera, tendría que ser divisible por al menos ocho números primos y tendría al menos setenta y cinco factores primos. Uno de sus divisores primos sería mayor que 1020, por lo que sería un número verdaderamente monumental. Sin embargo, a medida que la potencia informática sigue aumentando, cada nuevo número primo de Mersenne se volverá un poco menos difícil y quizás estos antiguos problemas se resuelvan con el tiempo.