Explore o Prêmio Web3 para obter mais recompensas interessantes
discoveryBanners
Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+10,71%
USELESS
USELESS+1,67%
IKUN
IKUN+11,95%
gib
gib+42,92%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+3,9%
ALON
ALON-0,66%
LAUNCHCOIN
LAUNCHCOIN-10,14%
GOONC
GOONC-2,51%
KLED
KLED-9,16%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,2%
Boopa
Boopa-1,96%
PORK
PORK+5,3%
Math, Inc.
Math, Inc.
12 de set., 01:38·
Hoje estamos anunciando Gauss, nosso primeiro agente de autoformalização que acabou de concluir o projeto do Teorema do Número Primo Forte de Terry Tao e Alex Kontorovich em 3 semanas - um esforço que levou especialistas humanos 18+ meses de progresso parcial.