Vitalik Buterin Advocates AI-Enhanced Cybersecurity Amid Concerns

• •Buterin argues AI can enhance cybersecurity when paired with formal verification.
• •90% of Buterin's net worth is in crypto, indicating his vested interest in security.
• •Formal verification provides stronger guarantees than traditional testing methods.

On September 17, 2026, Vitalik Buterin published a post arguing against the notion that AI will make cybersecurity impossible to defend. He stated that AI can be used alongside formal verification to enhance software security, particularly for Ethereum's infrastructure. Buterin emphasized that while AI can generate code quickly, it often lacks reliability, necessitating formal verification to ensure correctness. He noted that 90% of his net worth is in crypto, highlighting his personal stake in the security of these systems. Buterin pointed out that formal verification can mathematically prove software security, offering stronger guarantees than traditional testing methods. He acknowledged that AI could also be exploited by attackers but believes this concern is temporary. His focus is on verifying entire systems rather than just critical modules. Buterin also mentioned ongoing projects like Arklib and evm-asm that are applying formal verification techniques. The discussion reflects a broader trend in the industry towards integrating AI with formal methods to bolster cybersecurity.