BTCBTC
💲79547.85
-
1.44%
ETHETH
💲2451.14
-
1.95%
SOLSOL
💲101.78
-
1.59%
ZECZEC
💲976.57
+
6.84%
USDCUSDC
💲0.9997
-
0.01%
XAUXAU
💲4438.31
-
0.86%

Cointelegraph
Cointelegraph|9月 04, 2026 20:02
⚡️ INTERESTING: Anthropic says Claude produced the first complete computer-checked proof of Fermat’s Last Theorem in Lean after working largely autonomously for 11 days. (Cointelegraph)
Share To

HotFlash

APP

X

Telegram

Facebook

Reddit

CopyLink

Hot Reads