
Combining AI with formal verification is exactly what Metagood has been doing for the last year.
CoinDesk@CoinDesk
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.
English


























