发现功能使用指南
background
discoveryBanners
热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico-4.42%
USELESS
USELESS-5.98%
IKUN
IKUN+6.36%
gib
gib-4.85%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk+5.16%
ALON
ALON+13.93%
LAUNCHCOIN
LAUNCHCOIN-21.62%
GOONC
GOONC-5.11%
KLED
KLED-3.96%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP-1.02%
Boopa
Boopa+3.35%
PORK
PORK+1.75%
Ernest Ryu
Ernest Ryu
2025年10月31日·
我坚信我们正处于数学历史的一个分水岭时刻。在未来几年，使用LLMs进行数学研究将成为主流，Lean形式化也将变得更加容易，这得益于LLMs。 (1/4)