Google logra que una inteligencia artificial compruebe la seguridad del código que protege millones de mensajes privados

Google DeepMind anunció un avance tecnológico que podría transformar la manera en que los desarrolladores verifican la seguridad de los programas informáticos.

El 10 de noviembre de 2026, investigadores de la compañía presentaron AlphaProof Code, un sistema basado en inteligencia artificial que consiguió demostrar matemáticamente importantes propiedades de seguridad del código utilizado en el protocolo de cifrado Signal.

Este protocolo es conocido por proteger las comunicaciones privadas en diferentes aplicaciones de mensajería.

El avance representa un paso importante en la aplicación de la inteligencia artificial a la verificación formal del software, un proceso que busca demostrar mediante matemáticas que determinados programas cumplen propiedades específicas.

¿Qué descubrieron los investigadores de Google?

Los científicos utilizaron un sistema de agentes de inteligencia artificial que trabajan conjuntamente para analizar código y construir demostraciones matemáticas.

En lugar de limitarse a buscar errores mediante pruebas tradicionales, AlphaProof Code permitió verificar propiedades de seguridad de una implementación del protocolo Signal hasta el nivel de código máquina.

El proyecto se apoyó en Lean, una herramienta que permite comprobar formalmente la validez de demostraciones matemáticas.

Según el documento técnico publicado por Google DeepMind, el sistema generó aproximadamente 6.5 millones de líneas de código de demostración verificadas por máquina.

El trabajo también requirió especificaciones formales y supervisión humana.

¿Por qué es importante para las aplicaciones de mensajería?

Las aplicaciones que utilizan cifrado dependen de programas informáticos que deben ejecutar correctamente diferentes operaciones criptográficas.

Una vulnerabilidad en su implementación podría comprometer propiedades de seguridad incluso cuando los algoritmos utilizados sean sólidos.

La verificación formal busca ofrecer garantías matemáticas sobre el comportamiento del código bajo condiciones definidas.

Los investigadores consideran que la inteligencia artificial podría ayudar a aplicar estos métodos a sistemas cada vez más complejos.

¿Significa que Signal ya no puede ser hackeado?

No. El avance no significa que una aplicación sea completamente invulnerable.

Los resultados obtenidos por Google corresponden a determinadas propiedades de seguridad de una implementación específica.

Otros componentes, configuraciones, dispositivos o vulnerabilidades ajenas a esas propiedades podrían seguir representando riesgos.

Por lo tanto, el descubrimiento no debe interpretarse como una garantía absoluta contra todos los ciberataques.

¿Qué podría cambiar en el futuro?

Google DeepMind considera que sistemas como AlphaProof Code podrían facilitar la verificación de software utilizado en comunicaciones, sistemas financieros y otras plataformas sensibles.

El objetivo es que los desarrolladores puedan identificar y prevenir determinados errores antes de que lleguen a los usuarios.

Aunque todavía se trata de una investigación tecnológica, sus resultados muestran cómo la inteligencia artificial podría convertirse en una herramienta relevante para fortalecer la seguridad informática.