Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+7,86%
USELESS
USELESS0,00%
IKUN
IKUN+0,25%
gib
gib+5,04%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,16%
ALON
ALON+1,09%
LAUNCHCOIN
LAUNCHCOIN-0,17%
GOONC
GOONC+0,76%
KLED
KLED+20,66%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,05%
Boopa
Boopa+2,56%
PORK
PORK0,00%
header
Sidharth Hariharan
MSci em Matemática @ Imperial College London (+ ano de intercâmbio @ EPFL) Estudante de Doutoramento @ Universidade Carnegie Mellon
Sidharth Hariharan
Sidharth Hariharan24/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)
285