"Una aplicación de la Inteligencia Artificial (IA) que me entusiasma es la verificación formal asistida por IA del código y la búsqueda de errores", posteó recientemente Vitalik Buterin, en su cuenta de X (antes Twitter).
El cofundador de Ethereum dijo que está entusiasmado con la asistencia de la inteligencia artificial en la verificación de código. En qué aspecto técnico la considera clave para el futuro de Ethereum.
"Una aplicación de la Inteligencia Artificial (IA) que me entusiasma es la verificación formal asistida por IA del código y la búsqueda de errores", posteó recientemente Vitalik Buterin, en su cuenta de X (antes Twitter).
Además, puntualizó: "En este momento, el mayor riesgo técnico de Ethereum probablemente sean los errores en el código, y cualquier cosa que pueda cambiar significativamente el juego en eso sería increíble".
De esta manera, el cofundador de Ethereum remarcó que la inteligencia artificial podría ayudar a los desarrolladores de Ethereum a identificar errores y ayudar con la verificación del código.
Este comentario del referente cripto sobre IA se produce después de que escribiera una entrada de blog, el mes pasado, donde desglosó 4 maneras en que la criptomoneda y la IA pueden superponerse.
"En general, los casos de uso en los que el mecanismo subyacente se sigue diseñando más o menos como antes, pero los actores individuales se convierten en IA, lo que permite que el mecanismo funcione eficazmente a una escala mucho más micro, son los más prometedores de inmediato y los más fáciles de hacer bien", escribió Buterin.
En ese sentido, uno de los retos concretos de las criptomonedas, como señala Buterin, es que el código abierto es la única forma de hacer algo realmente seguro. Sin embargo, en el ámbito de la inteligencia artificial, el hecho de que un modelo sea abierto aumenta enormemente su vulnerabilidad a los ataques de aprendizaje automático.
De todas formas, los analistas afirman que la combinación de las innovaciones de la IA y Web3 podría dar lugar a la aparición de un floreciente subsector de criptomonedas en 2024. Por ejemplo, la analista de Nansen, Sandra Leow, hizo hincapié en el desarrollo de agentes de IA, un campo que combina elementos de IA y Web3.
"Podríamos prever un mundo en el que los agentes de IA se conviertan en una categoría principal de usuarios en la blockchain, y algunos ejemplos incluyen aplicaciones de gestión de verificación que utilizan tecnologías de aprendizaje de conocimiento cero como Modulus Labs", señaló la experta.