CoinDesk 报道 Vitalik Buterin：AI 辅助正式验证可提升区块链安全

以太坊联合创始人 Vitalik Buterin 表示，AI 辅助的“正式验证”技术可显著提高智能合约和区块链系统的安全性，这可能成为未来开发和审计的重要工具。