Der Putnam, der schwierigste Mathematiktest auf College-Niveau der Welt, endete gestern um 16 Uhr PT.
Heute Mittag hat AxiomProver autonom 9 von 12 Problemen in Lean gelöst (gestern um 15:58 Uhr PT waren es 8 von 12).
Unsere Punktzahl wäre letztes Jahr #1 von ~4000 Teilnehmern gewesen und Putnam Fellow (Top 5) in den letzten Jahren.