Hay un polinomio de tiempo de algoritmo para encontrar un primo mayor que $n$?
Si Cramér la conjetura es verdadera, podemos utilizar las queratosis actínicas a prueba $n+1$, $n+2$, etc. hasta el próximo primer se encuentra, y este método va a encontrar un alojamiento en el polinomio de tiempo (en $\log n$) debido a que las queratosis actínicas se ejecuta en el polinomio de tiempo y de Cramér la conjetura garantiza $O((\log{n})^2)$ prepara para la prueba.
Sin asumir Cramér de la conjetura, y sin necesidad de que el primer ser encontrado es el siguiente primo siguientes $n$, sólo que es más grande de lo $n$, puede un primer ser encontrado en el tiempo $O((\log{n})^k)$ algunos $k$?
Esta pregunta está motivada por algunos de los pensamientos que escribí en los comentarios de esta respuesta por Gerry Myerson.
