Dünyanın en zor lisans matematik yarışması olan Putnam, dün saat 16:00 PT'de sona erdi. Saat 15:58'de AxiomProver Putnam2025'in 12/8'sini Lean'de otonom @axiommathai çözdü; bu, %100 doğrulanabilir bir dildir. Geçen yıl puanımız ~4000 üzerinden #4 olurdu ve Putnam Fellow (son yıllarda ilk 10'da) olurdu