Vitalik称AI形式验证可提升区块链安全性

以太坊联合创始人Vitalik Buterin表示，结合AI辅助代码生成与数学形式验证技术，可成为提高加密系统与关键互联网基础设施安全的重要工具。