Tendencias del momento
#
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, el concurso de matemáticas de pregrado más difícil del mundo, terminó ayer a las 4pm PT.
A las 3:58pm, AxiomProver @axiommathai resolvió de forma autónoma 8/12 de Putnam2025 en Lean, un lenguaje 100% verificable.
El año pasado, nuestra puntuación habría sido la #4 de ~4000 y un Putnam Fellow (top 10 en años recientes)
Parte superior
Clasificación
Favoritos
