Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,51%
USELESS
USELESS-4,76%
IKUN
IKUN-8,37%
gib
gib-1,04%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,33%
ALON
ALON-1,37%
LAUNCHCOIN
LAUNCHCOIN-1,56%
GOONC
GOONC-2,18%
KLED
KLED-3,84%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP0,00%
Boopa
Boopa-0,23%
PORK
PORK0,00%
header
Sidharth Hariharan
Thạc sĩ Toán @ Imperial College London (+ năm trao đổi @ EPFL) Nghiên cứu sinh tiến sĩ @ Đại học Carnegie Mellon
Sidharth Hariharan
Sidharth Hariharan24 thg 2, 2026
Chúng tôi rất vui mừng thông báo đến các nhà duy trì Dự án Đóng Gói Hình Cầu một cột mốc quan trọng trong nỗ lực chính thức hóa: chúng tôi hiện đã có một chứng minh Lean không lỗi về định lý rằng việc đóng gói hình cầu tối ưu trong ℝ⁸ là đóng gói lưới E₈. (1/9)
128