Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+13,66%
USELESS
USELESS+2,72%
IKUN
IKUN+7,34%
gib
gib-1,83%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,26%
ALON
ALON-10,39%
LAUNCHCOIN
LAUNCHCOIN+47,11%
GOONC
GOONC-1,15%
KLED
KLED+11,09%
#
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 de jan., 01:45·
1/ AxiomProver recebeu 12/12 do Putnam 2025. Hoje lançamos as provas Lean geradas pelo AxiomProver de forma autônoma. Também fornecemos nossa visão dos problemas, comprovamos visualizações e comparamos como humanos versus IA abordam de forma diferente. Muita matemática divertida e Lean! Nossas conclusões no tópico.