掃碼下載
首頁
快訊
深度
日曆
數據
發現
BTC
$74,940.31
-0.13%
ETH
$2,123.05
-0.75%
BNB
$689.50
+0.36%
XRP
$1.09
-1.51%
SOL
$86.32
-1.70%
TRX
$0.3173
-0.53%
DOGE
$0.0698
-0.05%
ADA
$0.1770
-0.30%
BCH
$238.16
-1.46%
LINK
$10.63
+0.49%
HYPE
$74.72
-0.09%
AAVE
$131.58
+1.45%
SUI
$0.8411
+0.51%
XLM
$0.1472
-0.61%
ZEC
$1,164.33
-5.88%
AAPL
$351.23
+1.93%
AMZN
$267.97
+2.69%
GOOGL
$290.95
+1.27%
MSFT
$545.87
+1.84%
META
$643.70
+4.58%
NVDA
$180.55
-0.19%
TSLA
$378.59
+5.87%
SNDK
$881.90
+6.18%
INTC
$59.14
+5.72%
SPCX
$141.82
+3.20%
MU
$729.26
+5.83%
AMD
$507.91
+12.52%
BTC
$74,940.31
-0.13%
ETH
$2,123.05
-0.75%
BNB
$689.50
+0.36%
XRP
$1.09
-1.51%
SOL
$86.32
-1.70%
TRX
$0.3173
-0.53%
DOGE
$0.0698
-0.05%
ADA
$0.1770
-0.30%
BCH
$238.16
-1.46%
LINK
$10.63
+0.49%
HYPE
$74.72
-0.09%
AAVE
$131.58
+1.45%
SUI
$0.8411
+0.51%
XLM
$0.1472
-0.61%
ZEC
$1,164.33
-5.88%
AAPL
$351.23
+1.93%
AMZN
$267.97
+2.69%
GOOGL
$290.95
+1.27%
MSFT
$545.87
+1.84%
META
$643.70
+4.58%
NVDA
$180.55
-0.19%
TSLA
$378.59
+5.87%
SNDK
$881.90
+6.18%
INTC
$59.14
+5.72%
SPCX
$141.82
+3.20%
MU
$729.26
+5.83%
AMD
$507.91
+12.52%
首頁
文章
快訊
專題
專欄
知識庫
日曆
市場
圖表
活動
工具導航
形式化證明
全部
文章
快訊
Claude Fable 5.2 兩天跑完費馬大定理形式化,Anthropic 一次放出兩款旗艦
Anthropic 一次發布 Fable 5.2 與 Mythos 5.2 兩款旗艦模型,官方稱在高難度技術任務上顯著提升;其中 Fable 5.2 用約 30 小時完成了費馬大定理的形式化證明。
44 минуты назад
Anthropic
CLAUDE
AI
大模型
形式化證明
ChainCatcher
與創新者共建Web3世界
開啟App