Vitalik Buterin rechaza la idea de que los hacks de IA condenan la ciberseguridad

• Buterin dice que la ciberseguridad favorece naturalmente la defensa al usar IA en la verificación.
• El empresario sugiere que Ethereum aplicará formalmente la seguridad asistida por IA.

El cofundador de Ethereum, Vitalik Buterin, rechazó la tesis de que los hacks impulsados por IA dejan a la ciberseguridad sin salida. "La idea de que el hacking con IA significa que la ciberseguridad está condenada se está volviendo más común. No estoy de acuerdo."

"Creo que la ciberseguridad favorece naturalmente la defensa una vez que la gente se organice," dijo Buterin, quien añadió que "cualquiera que continúe manteniendo criptomonedas (incluyéndome a mí, el 90% de mi patrimonio neto) está implícitamente haciendo esa apuesta," declaró el desarrollador ayer, 16 de septiembre de 2026.

El argumento central de Buterin indica que la IA puede tratar la seguridad del software como un teorema matemático, incluso frente a códigos complejos. "Si la IA puede probar Navier-Stokes y el FLT, entonces la IA puede probar la afirmación 'este programa es seguro' como un teorema matemático. Incluso si el programa es muy complicado," argumentó.

El acrónimo FLT se refiere al Último Teorema de Fermat, mientras que Navier-Stokes corresponde a un conjunto de ecuaciones diferenciales en la física matemática; ambos representan pruebas complejas.

El desarrollador advirtió que la palabra "seguro" oculta "todo tipo de esqueletos en el armario respecto a lo que realmente significa." Para ilustrar esta complejidad, utilizó la aplicación de mensajería Signal como un caso de prueba. Explicó que la definición más obvia --- prevenir que alguien sin la clave del destinatario lea los mensajes --- no cubre escenarios donde un adversario puede falsificar mensajes, prevenir su entrega o atacar activamente el sistema.

Tampoco considera si un atacante puede reenviar mensajes antiguos, comprometer el servidor, manipular la clave pública, hackear el dispositivo o causar filtraciones de datos a través de fallos en el sistema operativo, base de datos o compilador. Además, cuestionó si el tamaño de los datos enviados o los metadatos están ocultos. "Por supuesto, no estás ocultando la identidad del remitente y del receptor, ni el momento exacto en que se envió cada mensaje," lo que permite inferir "muchos hechos importantes sobre qué relaciones tienes y qué tipos de conversaciones estás teniendo."

A la luz de este escenario, enfatizó que las definiciones pueden exceder mil líneas de código. "Trabajar para hacer que las definiciones sean más legibles para los humanos es de suma importancia: puede ser el único 'lenguaje de alto nivel' que importa en este momento," indicó. Buterin argumentó que verificar la definición correcta es más manejable que revisar el código directamente.

También explicó que las definiciones son aditivas. "Si dos grupos tienen dos definiciones diferentes A y B, entonces, bueno, puedes probar que el programa satisface tanto A como B," mientras que en el código tradicional, un fallo en cualquier componente puede colapsar el sistema.

El cofundador de Ethereum desestimó las revisiones parciales o las carreras de detección de vulnerabilidades. "La solución hoy: lo siento, tienes que verificar literalmente todo tu programa, incluida la base de datos, la red, cualquier capa de caché, todo. La IA moderna puede hacer eso," aseguró. "Es específicamente una estrategia asimétrica para hacer que el código sea mucho más resistente desde el principio."

Buterin vinculó su postura con la red que lidera. "Esta es la dirección que Ethereum tomará en los próximos años. No hay futuro para las redes ---especialmente con escalabilidad y privacidad--- sin hacer esto," señaló.

Esta visión de verificación matemática no surge en aislamiento, sino que responde a las propias pruebas del desarrollador con herramientas generativas, como informó CriptoNoticias. Buterin señaló que los experimentos de vibecoding --- una práctica donde un programador guía a la IA con instrucciones en lenguaje natural en lugar de escribir código línea por línea --- permitieron construir una versión preliminar de la hoja de ruta de 2030 para la red en dos semanas.

Este contenido se ofrece únicamente con fines informativos generales y no constituye un asesoramiento financiero, de inversión, legal ni fiscal. Cualquier evento, recompensa, promoción en línea o información relacionada que se mencione en el presente documento no debe considerarse como una recomendación, solicitud o invitación a comprar, vender, operar o de negociar de otra manera con cualquier criptoactivo. Los criptoactivos son sumamente volátiles y pueden provocar pérdidas. La disponibilidad de los servicios, productos y eventos relacionados de WEEX puede variar según la región. Tienes la responsabilidad de asegurarte de que tu participación esté de acuerdo con las leyes y regulaciones locales vigentes.