热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico+1.07%
USELESS
USELESS-1.15%
IKUN
IKUN+11.39%
gib
gib-0.36%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk-2.29%
ALON
ALON-16.94%
LAUNCHCOIN
LAUNCHCOIN+4.08%
GOONC
GOONC-1.32%
KLED
KLED+11.63%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP+0.74%
Boopa
Boopa+1.42%
PORK
PORK0.00%
Deedy
Deedy
1月11日 01:49·
AI刚刚在世界上最难的数学竞赛中取得了满分。 普特南竞赛有12道题，每道题10分。去年的最高分是90。中位数？0。Axiom的AI证明者在Lean中得分120/120，并刚刚分享了所有解决方案。 这是AI在数学领域的一个重大里程碑。
源：
118