A IA acabou de alcançar a pontuação perfeita na competição de matemática mais difícil do mundo. O Putnam tem 12 problemas x 10 pontos. A maior pontuação no ano passado foi 90. O canteiro central? 0. O provador de IA do Axiom em Lean marcou 120/120 e apenas compartilhou todas as soluções. Um marco enorme para a IA em Matemática.
Fonte:
151