Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+3,41%
USELESS
USELESS+15,02%
IKUN
IKUN+18,74%
gib
gib+11,73%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+8,15%
ALON
ALON+8,1%
LAUNCHCOIN
LAUNCHCOIN+7,78%
GOONC
GOONC+10,36%
KLED
KLED-0,77%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+3,93%
Boopa
Boopa+6,42%
PORK
PORK0,00%
Sidharth Hariharan
Sidharth Hariharan
24/02/2026·
É com grande prazer que os mantenedores do Projeto de Empacotamento de Esferas anunciam um marco importante no esforço de formalização: agora temos uma prova Lean sem desculpas do teorema de que o empacotamento de esferas ótimo em ℝ⁸ é o empacotamento da rede E₈. (1/9)