According to Wu, Vitalik Buterin stated that he disagrees with the view that 'AI hackers will make cybersecurity unsolvable.' He believes that as methods and tools mature, cybersecurity might actually favor defenders. Continuing to hold cryptocurrency itself is a bet on this judgment. He revealed that about 90% of his net assets are still in crypto. Vitalik thinks that if AI can prove complex mathematical theorems, it can also use formal verification to prove that programs meet established security requirements. The real challenge lies in fully defining 'security,' as it involves not just data breaches but also issues like message forgery, replay attacks, server or device compromises, key leaks, supply chain vulnerabilities, database and compiler issues, side-channel attacks, and metadata leaks. https://(wublock123.com)/news/vitalik-ai-era-cybersecurity-defensive-shift-ethereum-formal-software-verification-68509