Para todos los primos Impares, $p^2 \equiv 1 \pmod 8$ . A través de Dirichlet, sabemos que hay un número infinito de primos de la forma $q \equiv 7 \pmod 8$ . Por lo tanto, debería haber al menos algunos primos $q = p^2 - 2$ .
Sin embargo, es obvio que no todo números enteros positivos $n \equiv 7 \pmod 8$ son primos, y la superposición de los que son primos con enteros de la forma $p^2 - 2$ no es obviamente infinito.
¿Hay alguna prueba de que hay/no hay un número infinito de primos de esta forma?