BTCBTC
💲79648.77
-
1.54%
ETHETH
💲2454.58
-
1.91%
SOLSOL
💲102.00
-
1.43%
ZECZEC
💲974.05
+
6.78%
USDCUSDC
💲0.9997
-
0%
XAUXAU
💲4439.28
-
0.9%

Cointelegraph
Cointelegraph|2026年09月04日 20:02
⚡️有趣：Anthropic表示Claude在大部分时间自主工作的11天后，用Lean完成了费马大定理的第一个完整的计算机验证证明。
分享至：

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读