Vitalik Buterin believes AI-assisted exploits may force crypto infrastructure toward mathematically verified software systems.