Vitalik pushed back against claims that AI hackers will cause cybersecurity to collapse, arguing that security remains fundamentally defense-favored when handled rigorously. He said his continued crypto holdings, representing about 90% of his net worth, reflect that belief. Vitalik said that if AI can prove the Navier-Stokes equations and Fermat’s Last Theorem, it can also prove “this program is secure” as a mathematical theorem, even for complex software. He argued AI makes it necessary and possible to verify entire programs, including databases, networks and caches, rather than only selected security-critical components. He said the goal is not for “good actors” to find vulnerabilities before attackers, but to proactively write more attack-resistant code. Vitalik described this approach as a core direction for Ethereum in the coming years, adding that without it, blockchains—especially those combining scalability and privacy—will have no future.