Trend Olan Konular
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
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
En İyiler
Sıralama
Takip Listesi