Esta é uma pergunta ingênua, fora dos meus conhecimentos; desculpas antecipadamente.
A conjectura de Goldbach e muitas outras questões não resolvidas em matemática podem ser escritas como fórmulas curtas no cálculo de predicados. Por exemplo, o artigo de Cook "Os computadores podem descobrir rotineiramente provas matemáticas?" formula essa conjectura como
Se restringirmos a atenção a provas polinomialmente longas, os teoremas com tais provas estarão em NP. Portanto, se P = NP, poderíamos determinar se, por exemplo, a conjectura de Goldbach é verdadeira no tempo polinomial.
Minha pergunta é: também poderíamos exibir uma prova em tempo polinomial?
Edit . De acordo com os comentários de Peter Shor e Kaveh, eu deveria ter qualificado minha afirmação de que poderíamos determinar se a conjectura de Goldbach é verdadeira se é realmente um dos teoremas com uma breve prova. O que, é claro, não sabemos!