Buterin de Ethereum nombra la aplicación de IA más interesante

En una publicación reciente en las redes sociales, el cofundador de Ethereum, Vitalik Buterin estresado el potencial de la inteligencia artificial (IA) para revolucionar la forma en que se verifica el código y se identifican errores dentro de la red Ethereum. 

Buterin expresó su entusiasmo por la verificación formal del código asistida por IA, señalando que el mayor riesgo técnico que enfrenta Ethereum hoy en día proviene de errores en su código. 

Cree que la integración de la IA en el proceso de desarrollo podría mitigar significativamente estos riesgos, garantizando una infraestructura blockchain más segura y confiable.

Verificación de código asistida por IA explicada

En el centro del entusiasmo de Buterin está el concepto de verificación formal asistida por IA, un proceso que podría alterar drásticamente el panorama de la seguridad y eficiencia de blockchain. 

La verificación formal se refiere al uso de modelos matemáticos para probar o refutar la exactitud de los algoritmos subyacentes de un sistema, asegurando que se comporten exactamente como se esperaba en todas las condiciones posibles. 

Al aprovechar la IA en este contexto, los desarrolladores pueden automatizar y mejorar la detección de errores y vulnerabilidades en contratos inteligentes y otros códigos relacionados con blockchain, evitando potencialmente vulnerabilidades y fallas costosas. 

Este enfoque no sólo promete mejorar la solidez de la cadena de bloques de Ethereum, sino que también representa un importante paso adelante en el campo más amplio del desarrollo de software, donde los errores y las fallas de seguridad siguen siendo un desafío generalizado.

La fascinante IA de Buterin toma  

Como informó U.Today, Buterin también mostró su ingenio con una visión humorística de la evolución de la tecnología de inteligencia artificial. A través de una publicación divertida, contrastó la representación dramática, a menudo amenazante, de la IA en las películas con la realidad de la IA conversacional actual.

Sin embargo, anteriormente había expresado su preocupación por los riesgos existenciales que plantea la IA superinteligente, sugiriendo que los avances desenfrenados en la IA podrían llevar a resultados en los que los humanos ya no sean la fuerza dominante.

Según Buterin, los casos de uso convergentes de la IA y la cadena de bloques ofrecen un potencial significativo, particularmente cuando la IA se integra en los mecanismos existentes para mejorar las operaciones a microescala, lo que demuestra ser prometedor y sencillo de implementar. Sin embargo, la creación de un “singleton” (una IA única, descentralizada y confiable a través de blockchain y técnicas criptográficas) presenta desafíos y riesgos considerables.