Vitalik Buterin rechaza un escenario de derrota de la ciberseguridad ante la IA

Vitalik Buterin rechaza que la IA haga inviable la ciberseguridad y sostiene que puede reforzarla mediante la verificación formal de software.
Tabla de Contenidos

Vitalik Buterin, cofundador de Ethereum, rechazó la idea de que una inteligencia artificial cada vez más avanzada vaya a convertir la ciberseguridad en una batalla imposible de ganar. En una publicación en X del 16 de septiembre, Buterin sostuvo que la IA podría terminar reforzando a los defensores al hacer más práctica la verificación rigurosa del software, en lugar de dar una ventaja permanente a los atacantes.

Su argumento se centra en la verificación formal, un método que utiliza pruebas matemáticas para comprobar si un software cumple propiedades de seguridad definidas con precisión. Buterin señaló que una IA suficientemente avanzada podría ayudar a demostrar que los programas funcionan de forma segura, aunque reconoció que definir exactamente qué significa “seguro” en sistemas complejos sigue siendo un gran desafío, especialmente cuando bases de datos, redes, sistemas operativos, bibliotecas y hardware pueden introducir vulnerabilidades.

Buterin también señaló que aproximadamente 90% de su patrimonio neto sigue invertido en criptomonedas, describiendo esa exposición como una apuesta implícita por la posibilidad de construir sistemas digitales altamente seguros pese al avance de los atacantes. El siguiente reto será extender la verificación formal desde componentes individuales hacia sistemas de software completos, con la IA potencialmente ayudando a detectar especificaciones incompletas y demostrar garantías de seguridad cada vez más complejas.

Fuente: Vitalik Buterin.


Disclaimer: Las Noticias Flash de Crypto Economy se elaboran a partir de fuentes oficiales y públicas verificadas por nuestro equipo editorial. Su propósito es informar de forma rápida sobre hechos relevantes del ecosistema cripto y blockchain.

Esta información no constituye asesoramiento financiero ni recomendación de inversión. Recomendamos verificar siempre los canales oficiales de cada proyecto antes de tomar decisiones relacionadas.

RELATED POSTS

Ads

Síguenos en Redes

Cripto Tutoriales

Cripto Reviews