Algo realmente genial sobre la AI de autoformalización es que podemos tener mucha confianza en la validez de estas pruebas generadas. Este es un nivel de verificación que muchos trabajos escritos por humanos carecen y del que se beneficiarían. ¡Muchas gracias al gran modelo de Aristóteles de @HarmonicMath!