以太坊联合创始人Vitalik Buterin表示，AI辅助的正式验证技术可显著… | RecodeX

2026.05.18 22:31 (1 小时前) 加密货币

以太坊联合创始人Vitalik Buterin表示，AI辅助的正式验证技术可显著提升加密货币安全性。

消息来源 coindesk.com

阅读原文报道

www.coindesk.com

← 上一条比特币跌至77000美元以下，抹去5月全... 下一条 → 渣打银行同意收购Zodia Custod...

更多快讯

23:31 人工智能

前OpenAI员工Aschenbrenner做空英伟达和AM...

NTT DATA收购微软合作伙伴WinWire，强化企业AI...

再生医学公司Wonderlab Bio获得Jetstream...

Innovative Motion Technologies...

儿童苏打水品牌Roxberry获得未披露金额的融资

PowerGEM获General Atlantic战略增长投...