热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico+2.85%
USELESS
USELESS-1.66%
IKUN
IKUN-4.26%
gib
gib+12.52%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk+0.2%
ALON
ALON+0.23%
LAUNCHCOIN
LAUNCHCOIN+11%
GOONC
GOONC-1.41%
KLED
KLED+8.82%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-0.5%
Boopa
Boopa-5.45%
PORK
PORK0.00%
Sidharth Hariharan
Sidharth Hariharan
2026年2月24日·
Sphere Packing Project 的维护者们非常高兴地宣布在形式化工作中取得了一个重大里程碑：我们现在有了一个无错误的 Lean 证明，证明在 ℝ⁸ 中的最优球体堆积是 E₈ 格子堆积。 (1/9)