Aristóteles de @HarmonicMath acertó 10 de 12 problemas en 7 horas en Putnam, la competición de matemáticas más dura del mundo para estudiantes de grado. ¿Cómo lo sé? Bueno, yo mismo ejecuté Aristotle a través de la API pública de Harmonic. ¡Y tardé unos 10 minutos en empezar y arrancar! 9 de cada 10 problemas se completaron en menos de 3 horas. La décima (B5) duró 7 horas, una hora más de lo que se les asigna a los concursantes. Para los 10 problemas, di a Aristóteles las enunciaciones del problema en inglés — y autoformalizó las afirmaciones, las probó y produjo resultados verificados de forma autónoma, sin retroalimentación humana. Como alguien que ama las matemáticas pero no es un experto, ¡es emocionante tener una herramienta tan poderosa al alcance de la mano! 1/