Der Putnam, der härteste Mathematikwettbewerb für Studenten der Welt, endete gestern um 16 Uhr PT. Um 15:58 Uhr hat AxiomProver @axiommathai autonom 8/12 von Putnam2025 in Lean gelöst, einer zu 100 % verifizierbaren Sprache. Letztes Jahr wäre unser Punktestand #4 von ~4000 gewesen und ein Putnam Fellow (Top 10 in den letzten Jahren).