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!
Algo está muito claro para mim:
Todos os outros laboratórios estão tão atrás da OpenAI em raciocínio e nem se compara. Os outros laboratórios precisam controlar a alucinação e a preguiça.
