Hola
No Manooooh, no; ahora sí es cierta.
La expresión no quiere decir que siempre aparecerán primos, sino que por siempre seguirán apareciendo primos de ese tipo.
Sea \( n=5^8 \) potencia natural de cinco.
- \( n\pm2 \) no es primo.
- \( n\pm4 \) no es primo.
- \( n\pm6 \) no es primo.
Lo que quiso decir Norges en su reformulación de la conjetura (su redacción no fue la más afortunada) es que
existen infinitos naturales \( n \) para los cuales entre:
\( 5^n-6,5^n-4,5^n-2,5n+2,5^n+4,5^n+6 \)
al menos hay un primo.
(y NO que PARA TODO \( n \) entre esas expresiones haya al menos un primo).
Este es el tipo de conjetura que (como ya le he explicado en varios hilos) es muy fácil de enunciar pero muy difícil de demostrar o refutar. Uno podría escribir una conjetura de este tipo al día, afirmando la existencia de infinitos primos en sucesiones \( a^n+b \) cambiando \( a \) por (casi) cualquier número primo y \( b \) por (casi) cualquier número par. De manera más precisa tomando por ejemplo:
\( a \) número primo impar.
\( b \) número positivo par coprimo con \( a \)
Cumpliendo \( mcd(a-1,b+1)=1 \)
Spoiler
Si \( d=mcd(a-1,b+1)>1 \) entonces \( a^n+b=1+b \) mod \( a-1 \) para todo \( n \). Y entonces \( d \) sería un divisor de todos los elementos de la sucesión \( a^n+b \).
Entonces en este punto no se qué sentido tiene seguir insistiendo en este tipo de conjeturas, sino se aporta nada nuevo que las enriquezca.
Saludos.