Vitalik tiene razón al decir que la IA + verificación formal podría convertirse en uno de los patrones de desarrollo de software más importantes. La seguridad en la industria de la cadena de bloques puede mejorarse significativamente. Pero no, no es tan sencillo como “la IA escribe código, las pruebas lo verifican, por lo tanto, Ethereum se vuelve libre de errores”. Una versión más realista es esta. La IA hace que la ingeniería de alta confianza sea más económica y escalable. Los equipos aún deben decidir qué debe ser cierto, modelar correctamente el sistema, mantener las pruebas y diseñar sistemas que realmente sean verificables.
