NEW: @VitalikButerin argues AI-assisted formal verification could be the "final form of software development". AI writes the code, formal proofs verify it's correct, and together they could make Ethereum and other secure systems genuinely bug-proof. (CoinDesk)