Algo realmente ótimo sobre a AI de autoformalização é que podemos ter muita confiança na validade dessas provas geradas. Este é um nível de verificação que muitos trabalhos escritos por humanos carecem e que se beneficiariam. Um grande obrigado ao ótimo modelo Aristóteles da @HarmonicMath!