Popularne tematy
#
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.
Axiom
Putnam, najtrudniejszy na świecie test matematyczny na poziomie uniwersyteckim, zakończył się wczoraj o 16:00 PT.
Dziś w południe AxiomProver rozwiązał 9/12 problemów w Lean autonomicznie (wczoraj o 15:58 PT było 8/12).
Nasz wynik byłby #1 spośród ~4000 uczestników w zeszłym roku i Putnam Fellow (top 5) w ostatnich latach.
247,2K
Najlepsze
Ranking
Ulubione