AI ha appena raggiunto un punteggio perfetto nella competizione di matematica più difficile del mondo. Il Putnam ha 12 problemi x 10 punti. Il punteggio più alto dell'anno scorso è stato 90. La mediana? 0. Il provatore AI di Axiom in Lean ha ottenuto 120/120 e ha appena condiviso tutte le soluzioni. Grande traguardo per l'AI nella matematica.

Fonte: