Algo realmente ótimo na autoformalização da IA é que podemos ter muita confiança na validade dessas provas geradas. Esse é um nível de verificação que grande parte do trabalho escrito por humanos não tem e do qual se beneficiaria. Muito obrigado ao @HarmonicMath ótimo modelo de Aristóteles!
Algo está muito claro para mim:
Todos os outros laboratórios estão muito atrás do OpenAI em raciocínio e isso nem chega perto. Os outros laboratórios precisam controlar alucinações e preguiça.
