Temas en tendencia
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+14.96 %
USELESS
USELESS+2.35 %
IKUN
IKUN+6.35 %
gib
gib-2.37 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk0.00 %
ALON
ALON-6.3 %
LAUNCHCOIN
LAUNCHCOIN+4.51 %
GOONC
GOONC-1.15 %
KLED
KLED+2.96 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0.73 %
Boopa
Boopa+0.1 %
PORK
PORK0.00 %
Axiom
Axiom
10 ene, 01:45·
1/ AxiomProver obtuvo el 12/12 de Putnam 2025. Hoy publicamos las demostraciones Lean generadas de forma autónoma por AxiomProver. También ofrecemos nuestra visión de los problemas, demostramos visualizaciones y comparamos cómo los humanos frente a la IA abordan de forma diferente. Un montón de matemáticas divertidas y Lean! Nuestros hallazgos en el hilo.