Vitalik está certo de que IA + verificação formal pode se tornar um dos padrões de desenvolvimento de software mais importantes. A segurança na indústria de blockchain pode ser significativamente aprimorada. Mas não, não é tão simples quanto “IA escreve código, provas verificam-no, portanto o Ethereum se torna livre de bugs.” Uma versão mais realista é esta. A IA torna a engenharia de alta confiança mais barata e escalável. As equipes ainda precisam decidir o que deve ser verdade, modelar corretamente o sistema, manter as provas e projetar sistemas que sejam realmente verificáveis.
