Descubrió un método para comprobar la primalidad de los números de la forma formula_2 donde formula_3 es primo (conocidos como números de Mersenne).