Il Putnam, il test di matematica a livello universitario più difficile al mondo, si è concluso ieri alle 16:00 PT. Oggi a mezzogiorno, AxiomProver ha risolto 9/12 problemi in Lean in modo autonomo (ieri alle 15:58 PT, erano 8/12). Il nostro punteggio sarebbe stato il #1 di ~4000 partecipanti l'anno scorso e Putnam Fellow (top 5) negli anni recenti.