Ethereum co-founder Vitalik Buterin argued in a Sept. 17 post on X that AI-powered hacking does not necessarily mean the end of cybersecurity. He said AI systems capable of solving complex mathematical problems could expand formal verification, using proofs to show that software meets a defined security standard, including in large and complicated programs. Buterin said roughly 90% of his net worth is held in crypto, making his confidence a position in which he has a direct financial stake. He also emphasized that defining security is harder than verifying code, because specifications must account for threats including passive and active attackers, server compromises, key leakage, metadata exposure and hardware vulnerabilities. His comments followed a series of AI-assisted security incidents and findings involving Zcash, Ethereum infrastructure, Coldcard wallets, Boltz, Core Lightning and hundreds of other projects. Buterin said Ethereum intends to pursue full-program verification across databases, networking and caching layers over the next several years.