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.
clhong1248
En son güncelleme.
8 Ara 04:39
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
13,83K
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
277,28K
Öğrencinizi işbirlikçiniz olarak yetiştirmekte güzellik vardır.
Sir Hardy, Ramanujan'a.
Bana Profesör Ono de.
Ve şimdi, Axiom'daki en parlak matematikçilerden oluşan bir grup yapay zekamıza @axiommathai.
Üzerinde çalıştığımız Thue denklemleri de panoda yer alıyor. Makalemiz, modüler formlar, eliptik eğriler ve K3 yüzeyleri üzerindeki keşiflere yardımcı geleneksel hesaplamanın bir örneğiydi.
105,07K
En İyiler
Sıralama
Takip Listesi