Tópicos em alta
#
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 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.