Considere la pregunta de si es cierto que un número primo$p$ divide $1^1+2^2+3^3+....+(p-1)^{p-1}$ si y solo si $p \in \{17,19\}$.
Por razones heurísticas obvias, para un gran$n$ uno esperaría allí ser aproximadamente$\ln(\ln(n))$ tales primos$p < n$, sin embargo, parece que actualmente no se conocen otros ejemplos que no sean 17 y 19.
¿Existe una forma más eficiente de buscar ejemplos que el método de fuerza bruta de probando los números primos uno por uno?