Le Putnam, le test de mathématiques de niveau universitaire le plus difficile au monde, s'est terminé hier à 16h PT. Aujourd'hui à midi, AxiomProver a résolu 9/12 problèmes dans Lean de manière autonome (hier à 15h58 PT, c'était 8/12). Notre score aurait été le #1 d'environ 4000 participants l'année dernière et Putnam Fellow (top 5) ces dernières années.