Vitalik Buterin rechaza que los hackeos con IA condenen la ciberseguridad
El cofundador de Ethereum sostiene que la inteligencia artificial permitirá comprobar la seguridad del código mediante demostraciones matemáticas.
El cofundador de Ethereum, Vitalik Buterin, rechazó la tesis de que los hackeos potenciados por inteligencia artificial (IA) dejen a la ciberseguridad sin salida. “Es cada vez más común la idea de que el hacking con IA significa que la ciberseguridad está condenada. No estoy de acuerdo”.
“Creo que la ciberseguridad favorece de forma natural a la defensa una vez que la gente se pone las pilas”, sostuvo Buterin, quien añadió que “cualquiera que siga manteniendo criptomonedas (incluido yo, ~90% de mi patrimonio neto) está haciendo implícitamente esa apuesta”, afirmó el desarrollador ayer 16 de septiembre de 2026.
El planteamiento central de Buterin señala que la IA puede tratar la seguridad de un software como un teorema matemático, incluso ante códigos complejos. “Si la IA puede demostrar Navier-Stokes y FLT, entonces la IA puede demostrar la afirmación ‘este programa es seguro’ como un teorema matemático. Incluso si el programa es muy complicado”, argumentó.
Las siglas FLT refieren al Último Teorema de Fermat, mientras que Navier-Stokes corresponde a un conjunto de ecuaciones diferenciales de la física matemática; ambas representan demostraciones complejas.
El desarrollador advirtió que la palabra “seguro” esconde «todo tipo de esqueletos en el armario en cuanto a lo que realmente significa”. Para ilustrar esta complejidad utilizó como caso de prueba a la aplicación de mensajería Signal. Explicó que la definición más obvia —evitar que alguien sin la clave del destinatario lea los mensajes— no cubre escenarios donde el adversario pueda falsificar mensajes, impedir su entrega o atacar activamente el sistema.
$BTC $ETH $ZEC
El cofundador de Ethereum sostiene que la inteligencia artificial permitirá comprobar la seguridad del código mediante demostraciones matemáticas.
El cofundador de Ethereum, Vitalik Buterin, rechazó la tesis de que los hackeos potenciados por inteligencia artificial (IA) dejen a la ciberseguridad sin salida. “Es cada vez más común la idea de que el hacking con IA significa que la ciberseguridad está condenada. No estoy de acuerdo”.
“Creo que la ciberseguridad favorece de forma natural a la defensa una vez que la gente se pone las pilas”, sostuvo Buterin, quien añadió que “cualquiera que siga manteniendo criptomonedas (incluido yo, ~90% de mi patrimonio neto) está haciendo implícitamente esa apuesta”, afirmó el desarrollador ayer 16 de septiembre de 2026.
El planteamiento central de Buterin señala que la IA puede tratar la seguridad de un software como un teorema matemático, incluso ante códigos complejos. “Si la IA puede demostrar Navier-Stokes y FLT, entonces la IA puede demostrar la afirmación ‘este programa es seguro’ como un teorema matemático. Incluso si el programa es muy complicado”, argumentó.
Las siglas FLT refieren al Último Teorema de Fermat, mientras que Navier-Stokes corresponde a un conjunto de ecuaciones diferenciales de la física matemática; ambas representan demostraciones complejas.
El desarrollador advirtió que la palabra “seguro” esconde «todo tipo de esqueletos en el armario en cuanto a lo que realmente significa”. Para ilustrar esta complejidad utilizó como caso de prueba a la aplicación de mensajería Signal. Explicó que la definición más obvia —evitar que alguien sin la clave del destinatario lea los mensajes— no cubre escenarios donde el adversario pueda falsificar mensajes, impedir su entrega o atacar activamente el sistema.
$BTC $ETH $ZEC
