Vitalik Buterin: AI Can Strengthen Cybersecurity Against Attackers

Ethereum co-founder Vitalik Buterin has challenged the prevailing view that AI inherently favors cyber attackers over defenders. He argues that AI can be a powerful tool for security if sufficient resources are dedicated to it, noting that automated formal verification is becoming a core component of the Lean Ethereum initiative. Buterin highlights that the primary challenge for defenders is the high cost of auditing code, a burden that AI-driven tools could significantly reduce. He points to the DARPA AI Cyber Challenge as evidence, where automated systems successfully identified numerous software vulnerabilities.