Vitalik Buterin respalda los límites autoimpuestos de Kimi 3.1 sobre las herramientas de IA ofensivas.
El lunes publicó en X que está de acuerdo con que el modelo de IA Kimi 3.1 deje deliberadamente fuera de sus datos de entrenamiento las capacidades ofensivas cibernéticas más avanzadas.
Argumenta que esta concesión da más tiempo a los defensores para prepararse.
«Discriminar entre casos de uso es MUCHO menos malo que discriminar entre usuarios», escribió, señalando que el mundo necesita tiempo para reforzar los sistemas y revisar el código antiguo antes de que nos azote toda la fuerza de los ciberataques más potentes.
Prefiere un modelo que rechace ciertas tareas para todo el mundo a uno que excluya a determinadas personas.
El 19 de mayo, respondió a los temores de que la búsqueda de errores asistida por IA abrumara a los desarrolladores y afirmó que la verificación formal asistida por IA podría convertirse en una de las defensas más sólidas del sector cripto.
Dijo que ahora un modelo puede escribir tanto el código como su demostración, y que los desarrolladores solo tienen que confirmar que el enunciado sea el previsto.
El 8 de octubre advirtió que las matemáticas asistidas por IA podrían debilitar ECDSA y sistemas criptográficos similares antes de lo esperado, pero aconsejó a los usuarios que no se apresuraran a transferir sus fondos a nuevas billeteras hoy mismo.
¿Crees que restringir los casos de uso de los modelos de IA es una estrategia sostenible para la ciberseguridad, o existe el riesgo de que cree un sistema de acceso elitista?
#AI #Cybersecurity #Ethereum #FormalVerification