Como usted puede saber, GIMPS es la realización de una búsqueda. Que cada usuario le dé a un diferente número primo a prueba. A continuación, te dan ese número a un usuario diferente para comprobar.
Sólo comprobar los números de la forma $2^p-1$ donde $p$ es también el primer. Tan sólo se han comprobado un par de millones de posibles valores de $p$, que es de unos pocos millones de posibles valores de $2^p-1$.
El enlace www.mersenne.org/report_milestones/ muestra que se ha marcado todos los números primos
$2^p-1$ si $p$ está por debajo de 44,576,437, y tiene una doble comprobación de los números primos $2^p-1$ para los valores de $p$$p=26,187,517$.
Hay alrededor de $(2^{57885161})/57885161$, o alrededor de $2^{57885135}$ desconoce de los números primos por debajo del registro actual.