Ethereum co-founder Vitalik Buterin has proposed that the convergence of artificial intelligence and formal verification could fundamentally improve software security, particularly for critical systems like blockchain networks and cryptographic infrastructure.