Putnam, verdens vanskeligste matematikkkonkurranse for bachelorstudenter, avsluttet kl. 16.00 PT i går. Klokken 15:58 @axiommathai AxiomProver autonomt løst 8/12 av Putnam2025 i Lean, et 100 % verifiserbart språk. I fjor ville poengsummen vår vært #4 på ~4000 og en Putnam Fellow (topp 10 de siste årene)