May 18, 2026 0Comment Vitalik says AI‑assisted formal verification could be ‘final form’ of software development