BTCBTC
💲79571.21
-
1.52%
ETHETH
💲2451.72
-
1.98%
SOLSOL
💲101.81
-
1.65%
ZECZEC
💲978.47
+
7.02%
USDCUSDC
💲0.9997
-
0.01%
XAUXAU
💲4438.30
-
0.9%

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

熱門快訊

APP下載

X

Telegram

Facebook

Reddit

複製鏈接

熱門閱讀