La IA acaba de conseguir una puntuación perfecta en la competición de matemáticas más dura del mundo. El Putnam tiene 12 problemas por 10 puntos. La puntuación más alta del año pasado fue 90. ¿La mediana? 0. El demostrador de IA de Axiom en Lean obtuvo una puntuación de 120/120 y solo compartió todas las soluciones. Un gran hito para la IA en matemáticas.

Fuente: