Vitalik Buterin, Ethereum co-founder, suggests that AI could bolster crypto security by facilitating formal verification processes. He argues that AI-assisted formal verification could become a key defense against security failures in blockchain systems. This method involves using AI to generate mathematical proofs that verify software behavior, potentially reducing vulnerabilities. Buterin highlights projects like Arklib and evm-asm, which are exploring AI-driven formal verification in Ethereum infrastructure. Despite acknowledging limitations, such as bugs in verified compilers and incomplete code proofs, Buterin views formal verification as a valuable tool in minimizing code errors. His comments come amid recent high-profile crypto exploits, underscoring the need for robust security measures.