Temas en tendencia
#
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, el examen de matemáticas universitario más difícil del mundo, terminó ayer a las 16:00 PT.
Hoy al mediodía, AxiomProver resolvió 9/12 problemas en Lean de forma autónoma (ayer a las 15:58 PT, era el 12/8).
Nuestra puntuación habría sido la #1 de ~4000 participantes el año pasado y Putnam Fellow (top 5) en los últimos años
247.19K
Populares
Ranking
Favoritas