熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+45.96%
USELESS
USELESS+4.66%
IKUN
IKUN+55.67%
gib
gib-1.24%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-0.54%
ALON
ALON+35.8%
LAUNCHCOIN
LAUNCHCOIN+8.94%
GOONC
GOONC+2.02%
KLED
KLED-3.98%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.31%
Boopa
Boopa+1.96%
PORK
PORK+0.18%
George Tsoukalas
George Tsoukalas
14 小時前·
在 PutnamBench 中修正了 15 個錯誤的形式化（大約佔基準的 2%），感謝 Logical Intelligence 貢獻這些變更，這些變更是由他們的 Aleph Prover 系統識別的（恰好，目前也是 PB 排行榜上最強的方案）！