Investigadores de Google DeepMind utilizaron IA con capacidad de agencia para demostrar matemáticamente, o "verificar formalmente", varias de las garantías criptográficas clave del protocolo Signal, un avance trascendental para la criptografía y la IA en general.
Realizado como una especie de proyecto de prueba de concepto en tan solo cuatro semanas, este trabajo es significativo por dos razones. Sirve como una validación independiente adicional de la criptografía que protege grandes cantidades de comunicaciones en plataformas como Signal, Google Messages y WhatsApp. Además, demuestra las capacidades de verificación formal de Google DeepMind mediante un nuevo marco de IA llamado AlphaProof Code.
En términos generales, la verificación formal asistida por IA está en auge, pero aún no está claro cuán práctica será para su uso generalizado ni cuán efectiva será para proteger grandes cantidades de código. Los defensores de la verificación formal la han considerado durante mucho tiempo como una especie de santo grial en la seguridad del software, ya que utiliza las matemáticas para comprobar y validar que el software funcione según lo previsto; en otras palabras, que no tenga vulnerabilidades críticas.
Nos informamos a nuestros clientes sobre tres cosas al respecto de la seguridad de los agentes de inteligencia artificial: necesitan sus propias identidades, ac...
Leer artículo →Una versión corrupta de la popular extensión Nx Console para Visual Studio Code permaneció en el Marketplace oficial de VS Code durante solo aproximadamente 18...
Leer artículo →Anthropic ha lanzado Claude Mythos 5.2, su último modelo de IA para ingeniería de ciberseguridad, con una puntuación del 76,3 % en CyScenarioBench. Lanzado el 9...
Leer artículo →