Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,96%
USELESS
USELESS-1,49%
IKUN
IKUN-4,71%
gib
gib-3,53%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,17%
ALON
ALON+5,08%
LAUNCHCOIN
LAUNCHCOIN+5,01%
GOONC
GOONC-3,02%
KLED
KLED+12%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,31%
Boopa
Boopa-4,34%
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.