La tesis de seguridad de la IA de Vitalik invierte el miedo habitual $ETH el cofundador de Ethereum Vitalik Buterin se opone a la idea de que una IA más fuerte haga que la ciberseguridad sea automáticamente imposible de ganar. Su argumento es casi lo contrario: si la IA se vuelve lo bastante poderosa como para descubrir vulnerabilidades cada vez más complejas, también podría volverse lo bastante poderosa como para ayudar a demostrar formalmente que el software crítico se comporta exactamente como se pretende. EL MIEDO Una IA mejor reduce el costo de encontrar exploits. Los atacantes pueden buscar código más rápido, probar más rutas de ataque y automatizar tareas que antes requerían equipos especializados. EL CONTRAPUNTO DE BUTERIN Los defensores obtienen la misma capacidad. La verificación formal puede convertir las propiedades de seguridad en enunciados matemáticos y probar que el software las cumple. Buterin sostiene que una IA suficientemente avanzada podría hacer que esas pruebas sean muchísimo más baratas y fáciles de producir. EL “PERO” Probar primero que el software es seguro requiere definir qué significa realmente “seguro”. Para algo como un mensajero cifrado, eso puede implicar mensajes falsificados, ataques de repetición, servidores comprometidos, bibliotecas maliciosas, vulnerabilidades del sistema operativo y fugas de metadatos. Buterin señala que la definición en sí puede llegar a más de 1,000 líneas de código. Así que la carrera por la seguridad con IA puede no decidirse simplemente por quién encuentra los fallos más rápido. Podría depender de si los defensores pueden definir la seguridad con la precisión suficiente para que las máquinas puedan demostrarla. #Ethereum #ETH #Ad #Altcoin Season#