Vitalik Buterin said mathematically verified software may help protect cryptographic infrastructures as AI improves both code generation and vulnerability discovery.
https://decrypt.co/368226/ethereum-founder-vitalik-buterin-ai-verification-secure-crypto-networks