Vitalik Buterin said mathematically verified software may help protect cryptographic infrastructures as AI improves both code generation and vulnerability discovery.

The Ethereum co-founder argued that AI-assisted "formal verification" could become one of the most important tools for cybersecurity in a new blog post.

Vitalik Buterin said mathematically verified software may help protect cryptographic infrastructures as AI improves both code generation and vulnerability discovery.