Vitalik Buterin fired back on X about a rumor mill. Some people say AI hackers will eventually break through cybersecurity, but he doesn’t agree. His reasoning: cybersecurity naturally sits on the defensive side—so long as people do the work carefully. If AI can prove the Navier–Stokes equations and Fermat’s Last Theorem, then treating “this piece of code is secure” as a mathematical theorem to prove should be within reach, even for complex code. He also mentioned that about 90% of his net assets are still in crypto. He argues that developers should use AI for formal verification—proving the entire system end-to-end rigorously, rather than only focusing on a few modules.