Share Facebook Twitter LinkedIn Pinterest Email Ethereum co-founder Vitalik Buterin suggests AI-assisted formal verification could become the ultimate method for software development.
By Michael Fawn