Crypto
Buterin Dismisses AI Cybersecurity Doom Narrative, Cites Formal Verification
Vitalik Buterin has disputed the notion that AI will render cybersecurity indefensible. He believes that advanced AI can improve cybersecurity through formal verification, which involves using mathematical proofs to assess the security properties of software.
Ethereum's protocol development projects are already utilizing AI agents to analyze code and reproduce vulnerabilities. The foundation announced that coordinated AI agents helped detect actual vulnerabilities in the process of conducting security research.
The better.codes project uses AI agents together with machine-checkable proofs in Lean, while the Ethereum roadmap covers formal verification alongside privacy, zero-knowledge systems, and post-quantum security research.