Subiecte populare
#
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.
Putnam, cel mai greu test de matematică la nivel universitar din lume, s-a încheiat ieri la ora 16:00 PT.
Astăzi la prânz, AxiomProver a rezolvat 9/12 probleme în Lean autonom (ieri era 15:58 PT, era 12/8).
Scorul nostru ar fi fost #1 din ~4000 de participanți anul trecut și Putnam Fellow (top 5) în ultimii ani
Limită superioară
Clasament
Favorite