Le cofondateur d'Ethereum, Vitalik Buterin, a proposé que la vérification formelle assistée par intelligence artificielle pourrait représenter l'évolution ultime dans le développement logiciel. Dans cette approche, l'intelligence artificielle générerait le code tandis que des preuves formelles garantiraient sa correction, rendant potentiellement des systèmes comme Ethereum totalement exempts de bugs. Buterin suggère que cette combinaison pourrait considérablement améliorer la sécurité et la fiabilité de la blockchain ainsi que d'autres systèmes logiciels critiques.