熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+6.89%
USELESS
USELESS-2.96%
IKUN
IKUN-5.47%
gib
gib+3.71%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-0.07%
ALON
ALON+0.02%
LAUNCHCOIN
LAUNCHCOIN+5.34%
GOONC
GOONC+0.76%
KLED
KLED+0.84%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.05%
Boopa
Boopa+2.56%
PORK
PORK0.00%
Axiom
Axiom
3月5日 23:51·
1/ 釋放軸心：Axiom Lean Engine ⚙️ 我們正在為大規模的正式證明提供核心基礎設施。 這些是支持 AxiomProver 的相同 Lean 元編程工具，使其能夠贏得 Putnam 並破解研究猜想。 今天對任何人都可用！