熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico-1.32%
USELESS
USELESS+3.62%
IKUN
IKUN+9.3%
gib
gib+1.3%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk+0.58%
ALON
ALON+6.01%
LAUNCHCOIN
LAUNCHCOIN-4.94%
GOONC
GOONC+0.28%
KLED
KLED-2.55%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.04%
Boopa
Boopa+0.62%
PORK
PORK+2.75%
header
Sidharth Hariharan
數學碩士 @ 倫敦帝國學院（+ 交換年級 @ EPFL） 博士生 @ 卡內基美隆大學
Sidharth Hariharan
Sidharth Hariharan3月19日 00:09
非常期待開始使用這個！
13
Sidharth Hariharan
Sidharth Hariharan2026年2月24日
Sphere Packing Project 的維護者們非常高興地宣布正式化工作的一個重大里程碑：我們現在擁有一個無錯誤的 Lean 證明，證明在 ℝ⁸ 中的最佳球體包裝是 E₈ 格子包裝。 (1/9)
520