Vitalik Buterin said AI-assisted formal verification could help secure Ethereum and other crypto systems by mathematically proving software behaves as intended. Vitalik also said AI could strengthen both cyberattacks and defensive security tools, and he cautioned that formal verification is not a complete fix.