1/ AxiomProver a obtenu 12/12 au Putnam 2025. Aujourd'hui, nous publions les preuves Lean générées de manière autonome par AxiomProver. Nous fournissons également notre point de vue sur les problèmes, des visualisations de preuves, et comparons comment les humains et l'IA abordent les choses différemment. Une tonne de mathématiques amusantes et de Lean ! Nos découvertes dans le fil.