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