Explore o Sorteio Web3 para mais recompensas entusiasmantes
discoveryBanners
Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+10,86%
USELESS
USELESS+12,89%
IKUN
IKUN+37,49%
gib
gib+22,37%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+7,68%
ALON
ALON+6,27%
LAUNCHCOIN
LAUNCHCOIN-3,55%
GOONC
GOONC+1,53%
KLED
KLED-0,57%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,48%
Boopa
Boopa+1,07%
PORK
PORK-0,15%
Jared Duker Lichtman
Jared Duker Lichtman
12/09, 04:40·
Entusiasmado para anunciar uma prova Lean de ~25K linhas do Teorema dos Números Primos (PNT) em forma forte! Isto completa um desafio proposto por Terry Tao e @AlexKontorovich em janeiro de 2024.