發現功能使用指南
background
discoveryBanners
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico-10.3%
USELESS
USELESS-8.31%
IKUN
IKUN-6.25%
gib
gib-6.13%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk+1.34%
ALON
ALON+4.52%
LAUNCHCOIN
LAUNCHCOIN-11.48%
GOONC
GOONC-7.33%
KLED
KLED-15.69%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.39%
Boopa
Boopa+5.05%
PORK
PORK+1.22%
Ernest Ryu
Ernest Ryu
2025年10月31日·
我堅信我們正處於數學歷史上的一個分水嶺時刻。在未來幾年，使用 LLM 進行數學研究將成為主流，Lean 的形式化也將變得更加容易，這得益於 LLM。 (1/4)