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!