Esta es una pregunta ingenua, por mi experiencia; disculpas de antemano.
La Conjetura de Goldbach y muchas otras preguntas no resueltas en matemáticas se pueden escribir como fórmulas cortas en cálculo de predicados. Por ejemplo, el artículo de Cook "¿Pueden las computadoras descubrir rutinariamente pruebas matemáticas?" formula esa conjetura como
Si restringimos la atención a las pruebas polinomialmente largas, entonces los teoremas con tales pruebas están en NP. Entonces, si P = NP, podríamos determinar si, por ejemplo, la Conjetura de Goldbach es verdadera en el tiempo polinómico.
Mi pregunta es: ¿también podríamos exhibir una prueba en tiempo polinómico?
Editar . Según los comentarios de Peter Shor y Kaveh, debería haber calificado mi afirmación de que podríamos determinar si la conjetura de Goldbach es verdadera si es uno de los teoremas con una prueba corta. Que por supuesto no sabemos!