发现功能使用指南
discoveryBanners
热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico+15.37%
USELESS
USELESS+17.49%
IKUN
IKUN+20.1%
gib
gib+9.04%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk+12.99%
ALON
ALON+13.98%
LAUNCHCOIN
LAUNCHCOIN-8.79%
GOONC
GOONC+6.92%
KLED
KLED+21.88%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP+0.52%
Boopa
Boopa+12.06%
PORK
PORK0.00%
Paata Ivanisvili
Paata Ivanisvili
2025年11月30日·
安装Aristotle。获取API密钥。从终端运行它。选择数学中的任何开放问题，并以自然语言输入到aristotle中！经过几个小时，它要么会生成完整的正式lean证明，要么可能会失败。👏