Informalmente, se pregunta si cada problema cuya solución puede ser verificada rápidamente por una computadora también pueda ser resuelta rápidamente por una computadora; se conjetura ampliamente que la respuesta es no.