Vitalik Buterin says AI‑assisted formal verification could be the “final form” of software, letting Ethereum ship ultra‑optimized code with machine‑checked proofs of correctness. Ethereum (ETH) co‑founder Vitalik Buterin has said that combining artificial intelligence with formal verification could become the…