Vitalik Buterin：AI 正式验证可提升加密安全性

以太坊联合创始人 Vitalik Buterin 表示，结合 AI 生成代码与正式验证方法可显著提升区块链软件的安全性，有望缓解智能合约和协议漏洞风险。