AI acaba de lograr una puntuación perfecta en la competencia de matemáticas más difícil del mundo. El Putnam tiene 12 problemas x 10 puntos. La puntuación más alta del año pasado fue 90. ¿La mediana? 0. El probador de AI de Axiom en Lean obtuvo 120/120 y acaba de compartir todas las soluciones. Un gran hito para AI en Matemáticas.
Fuente:
203