Vitalik Buterin rebate pesimismo sobre IA

Vitalik Buterin, cofundador de Ethereum, ha expresado su opinión sobre la relación entre la inteligencia artificial y la ciberseguridad. Buterin ha manifestado su punto de vista en un momento en que la comunidad tecnológica se muestra escéptica sobre el futuro de la IA. La propuesta de Buterin se centra en la verificación formal asistida por IA, lo que permitiría producir código demostrable sin depender de intermediarios. Esto podría tener un impacto significativo en la forma en que se desarrolla y se utiliza la tecnología blockchain. La verificación formal es un proceso que garantiza la corrección y seguridad del código, lo que es fundamental en la creación de sistemas descentralizados. La idea de Buterin es utilizar la IA para automatizar la verificación formal, lo que permitiría una mayor eficiencia y precisión en el proceso. Esto podría ser especialmente útil en la creación de contratos inteligentes, que son fundamentales en la tecnología blockchain. La verificación formal asistida por IA podría ayudar a prevenir errores y vulnerabilidades en el código, lo que mejorararía la seguridad de los sistemas blockchain. La propuesta de Buterin ha generado interés en la comunidad tecnológica, ya que podría tener un impacto significativo en la forma en que se desarrolla y se utiliza la tecnología blockchain. La verificación formal asistida por IA podría ser un paso importante hacia la creación de sistemas más seguros y eficientes, lo que podría ayudar a impulsar la adopción de la tecnología blockchain en diferentes sectores.

Sigue ZarkoNews en Instagram (@zarko.es) y únete a nuestro canal de Telegram (@zarkonews) para recibir todas las noticias al instante.

Pub

MAICKJPLa mejor tienda de cartas Pokémon en Japones