Putnam, il concorso di matematica per laureandi più difficile al mondo, si è concluso ieri alle 16:00 PT. Alle 15:58, AxiomProver @axiommathai ha risolto autonomamente 8/12 di Putnam2025 in Lean, un linguaggio 100% verificabile. L'anno scorso, il nostro punteggio sarebbe stato il #4 di ~4000 e un Putnam Fellow (top 10 negli ultimi anni)