Putnam, maailman vaikein kandidaattimatematiikan kilpailu, päättyi eilen klo 16 PT. Klo 15.58 mennessä AxiomProver @axiommathai itsenäisesti ratkaissut 8/12 Putnam2025:n Lean-kielellä, joka on 100 % todennettavissa oleva kieli. Viime vuonna pisteemme olisi ollut #4 ~4000:sta ja Putnam Fellow (top 10 viime vuosina)