Putnam, de moeilijkste wiskunde wedstrijd voor undergraduate ter wereld, eindigde gisteren om 16:00 PT. Om 15:58 had AxiomProver @axiommathai autonoom 8/12 van Putnam2025 opgelost in Lean, een 100% verifieerbare taal. Vorig jaar zou onze score #4 van ~4000 zijn geweest en een Putnam Fellow (top 10 in recente jaren)