热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico+5.09%
USELESS
USELESS-5.59%
IKUN
IKUN-2.46%
gib
gib+4.89%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk-2.97%
ALON
ALON+1.01%
LAUNCHCOIN
LAUNCHCOIN-17.21%
GOONC
GOONC+1.72%
KLED
KLED+13.48%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-0.08%
Boopa
Boopa+2.56%
PORK
PORK0.00%
Axiom
Axiom
3月5日 23:51·
1/ 发布轴心：Axiom Lean Engine ⚙️ 我们正在为大规模的正式证明提供核心基础设施。 这些是支持 AxiomProver 的相同 Lean 元编程工具，使其赢得 Putnam 奖并破解研究猜想。 今天对任何人开放！