Ethereum News Ethereum co-founder Vitalik Buterin argued this week that AI-assisted formal verification is becoming essential to protect the network and the broader crypto industry from software fl...