¿Qué puedo hacer con Discover?
discoveryBanners
Temas en tendencia
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-20.28 %
USELESS
USELESS-11.49 %
IKUN
IKUN-14.07 %
gib
gib-17.53 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-6.13 %
ALON
ALON-9.52 %
LAUNCHCOIN
LAUNCHCOIN+5.48 %
GOONC
GOONC-0.32 %
KLED
KLED+2.46 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-1.56 %
Boopa
Boopa+1.02 %
PORK
PORK-1.44 %
clhong1248
clhong1248
8 dic, 00:54·
Putnam, el concurso de matemáticas más difícil del mundo para estudiantes de grado, terminó ayer a las 16:00 hora PT. A las 15:58, AxiomProver @axiommathai resuelto de forma autónoma el 12/8 de Putnam2025 en Lean, un lenguaje 100% verificable. El año pasado, nuestra puntuación habría sido el #4 de ~4000 y un Putnam Fellow (top 10 en los últimos años)