El cofundador de Ethereum, Vitalik Buterin, ha propuesto que la verificación formal asistida por inteligencia artificial podría representar la evolución definitiva en el desarrollo de software. En este enfoque, la inteligencia artificial generaría código mientras que las pruebas formales garantizan su corrección, lo que podría hacer que sistemas como Ethereum sean completamente libres de errores. Buterin sugiere que esta combinación podría mejorar significativamente la seguridad y la fiabilidad de la blockchain y otros sistemas de software críticos.