Dünyanın en zor üniversite düzeyindeki matematik sınavı Putnam, dün saat 16:00 PT'de sona erdi. Bugün öğlen, AxiomProver Lean'de 12/9 sorunlarını bağımsız olarak çözdü (dün 3:58p PT, 8/12'ydi). Geçen yıl puanımız ~4000 katılımcı arasında #1, son yıllarda ise Putnam Fellow (ilk 5) olurdu