Ce pot să fac cu Discover
discoveryBanners
Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-6,41 %
USELESS
USELESS+0,85 %
IKUN
IKUN+0,74 %
gib
gib-3,21 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,6 %
ALON
ALON-1,45 %
LAUNCHCOIN
LAUNCHCOIN-2,5 %
GOONC
GOONC-1,39 %
KLED
KLED-9,74 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,71 %
Boopa
Boopa+3,49 %
PORK
PORK+2,87 %
clhong1248
clhong1248
8 dec., 00:54·
Putnam, cel mai greu concurs de matematică pentru studenți din lume, s-a încheiat ieri la ora 16:00 PT. Până la ora 15:58, AxiomProver @axiommathai rezolvat autonom 8/12 din Putnam2025 în Lean, un limbaj 100% verificabil. Anul trecut, scorul nostru ar fi fost #4 din ~4000 și un bursier Putnam (top 10 în ultimii ani)