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