Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+13,33%
USELESS
USELESS+1,79%
IKUN
IKUN+4,76%
gib
gib-2,13%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,79%
ALON
ALON-12,12%
LAUNCHCOIN
LAUNCHCOIN+10,95%
GOONC
GOONC-1,15%
KLED
KLED+4,49%
#
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/01, 01:45·
1/ AxiomProver obteve 12/12 no Putnam 2025. Hoje lançamos as provas Lean que o AxiomProver gerou autonomamente. Também fornecemos a nossa visão sobre os problemas, visualizações das provas e comparamos como humanos e IA abordam de forma diferente. Uma tonelada de matemática divertida e Lean! Nossas descobertas no tópico.