Vitalik Buterin believes artificial intelligence could become a major advantage for crypto security rather than a threat. Responding to concerns about AI-driven vulnerability discovery, the Ethereum co-founder argued that AI-assisted formal verification may allow developers to mathematically prove that software behaves exactly as intended before deployment. This could significantly reduce the risk of critical bugs in smart contracts and blockchain infrastructure.
Formal verification has existed for years but has seen limited adoption because creating mathematical proofs manually was difficult and time-consuming.
Buterin says AI could change that by generating both code and the proofs needed to verify it automatically. In this model, developers would mainly confirm that the proven outcome matches the intended behavior, creating stronger protection against exploits even as AI systems become more advanced at identifying weaknesses in software.
