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 examen de matemáticas a nivel universitario más difícil del mundo, terminó ayer a las 4 p. m. PT.
Hoy al mediodía, AxiomProver resolvió 9/12 problemas en Lean de forma autónoma (a las 3:58 p. m. PT de ayer, había resuelto 8/12).
Nuestra puntuación habría sido la #1 de ~4000 participantes el año pasado y Putnam Fellow (top 5) en años recientes.
Parte superior
Clasificación
Favoritos
