O que posso fazer com o Discover
discoveryBanners
Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-6,41%
USELESS
USELESS+2,01%
IKUN
IKUN+0,74%
gib
gib-2,12%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,88%
ALON
ALON-1,45%
LAUNCHCOIN
LAUNCHCOIN-2,5%
GOONC
GOONC-1,39%
KLED
KLED-9,74%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,71%
Boopa
Boopa+3,49%
PORK
PORK+2,87%
Axiom
Axiom
8/12, 04:39·
O Putnam, o teste de matemática a nível universitário mais difícil do mundo, terminou ontem às 16h PT. Hoje ao meio-dia, o AxiomProver resolveu 9/12 problemas no Lean de forma autónoma (ontem às 15h58 PT, estava em 8/12). A nossa pontuação teria sido a #1 de ~4000 participantes no ano passado e Putnam Fellow (top 5) nos últimos anos.