O cofundador do Ethereum, Vitalik Buterin, propôs que a verificação formal assistida por IA poderia representar a evolução máxima no desenvolvimento de software. Nesta abordagem, a inteligência artificial geraria o código enquanto provas formais garantiriam sua correção, potencialmente tornando sistemas como o Ethereum totalmente à prova de erros. Buterin sugere que essa combinação poderia melhorar significativamente a segurança e a confiabilidade do blockchain e de outros sistemas de software críticos.