Putnam, kontes matematika sarjana tersulit di dunia, berakhir pukul 4 sore PT kemarin. Pada pukul 15:58, AxiomProver @axiommathai secara mandiri memecahkan 8/12 dari Putnam2025 dalam Lean, bahasa yang 100% dapat diverifikasi. Tahun lalu, skor kami akan menjadi #4 dari ~4000 dan Putnam Fellow (10 besar dalam beberapa tahun terakhir)