Vitalik Buterin表示，AI辅助的“形式验证”可以帮助保护区块链网络、智能合约和加密系统免受软件缺陷的影响。