Trend-Themen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+8,24 %
USELESS
USELESS-2,04 %
IKUN
IKUN-4,32 %
gib
gib+13,42 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,34 %
ALON
ALON-3,46 %
LAUNCHCOIN
LAUNCHCOIN+4,69 %
GOONC
GOONC+0,76 %
KLED
KLED-1,3 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,5 %
Boopa
Boopa-3,16 %
PORK
PORK0,00 %
header
Sidharth Hariharan
MSci Mathematik @ Imperial College London (+ Austauschjahr @ EPFL) Doktorand @ Carnegie Mellon University
Sidharth Hariharan
Sidharth Hariharan24. Feb. 2026
Es bereitet den Betreuern des Sphere Packing Project große Freude, einen wichtigen Meilenstein im Formalisierungsprozess bekannt zu geben: Wir haben jetzt einen fehlerfreien Lean-Beweis des Theorems, dass die optimale Kugelpackung in ℝ⁸ die E₈-Gitterpackung ist. (1/9)
265