En un giro que parece sacado de un capítulo de ciencia ficción cercana, Google DeepMind acaba de anunciar que ha utilizado inteligencia artificial para verificar matemáticamente partes clave del protocolo de cifrado de Signal, una de las apps de mensajería más valoradas por su compromiso con la privacidad y usada a diario por periodistas, activistas, desarrolladores y por buena parte de la comunidad tech más preocupada por su seguridad digital. El proyecto, que según Ars Technica tomó apenas cuatro semanas, podría marcar un antes y un después en cómo se auditan los sistemas criptográficos del futuro.
Para entender por qué esto es relevante, hay que saber qué es la verificación formal: un proceso mediante el cual se demuestra matemáticamente, con el rigor de una prueba lógica, que un sistema de software hace exactamente lo que dice que hace, sin fallos ocultos ni vulnerabilidades no detectadas por los métodos de testing convencionales. Hasta ahora, este tipo de verificación era extremadamente costosa en tiempo y recursos humanos especializados, razón por la cual se reservaba casi exclusivamente para sistemas críticos como reactores nucleares, aviónica o, en algunos casos, los cimientos más profundos de ciertos sistemas operativos. Que un equipo de IA de Google haya logrado aplicar este nivel de rigor a partes del protocolo Signal en solo un mes es, cuanto menos, un golpe sobre la mesa para toda la industria de la ciberseguridad.
Signal, desarrollado por la Signal Foundation y utilizado también como base del cifrado de extremo a extremo de WhatsApp, ha sido durante años el estándar de oro en comunicaciones privadas, recomendado incluso por figuras como Edward Snowden. Que su protocolo pase con éxito una revisión matemática asistida por IA refuerza la confianza en un sistema que millones de personas usan a diario sin saber exactamente qué ocurre debajo del capó. Para la comunidad geek, acostumbrada a debatir sobre backdoors gubernamentales, vulnerabilidades de día cero y la eterna tensión entre privacidad y vigilancia estatal, esta noticia llega como un respiro: la criptografía que protege nuestras conversaciones sigue siendo, matemáticamente hablando, sólida.
Pero más allá del caso puntual de Signal, lo que realmente entusiasma a la comunidad técnica es el precedente que sienta este experimento. Si la IA puede acelerar drásticamente procesos de verificación formal que antes tomaban meses o años de trabajo humano especializado, se abre la puerta a auditar con este mismo rigor otros sistemas críticos: desde los smart contracts de blockchain, hasta el software que controla infraestructuras eléctricas, pasando por los propios modelos de IA que cada vez gestionan más decisiones automatizadas en nuestra vida digital. Es un salto que podría democratizar una herramienta que hasta ahora estaba reservada para gigantes tecnológicos y gobiernos con presupuestos de seguridad nacional.
DeepMind no ha detallado todavía si planea extender este tipo de auditorías a otros protocolos de cifrado ampliamente usados, como los de Telegram o Matrix, ni si colaborará directamente con la Signal Foundation en futuras revisiones de su código. Lo que sí está claro es que este experimento de cuatro semanas podría ser solo el primer capítulo de una nueva era donde la inteligencia artificial no solo genera código, sino que también certifica que ese código -y el de otros- es matemáticamente irrompible, al menos dentro de los límites que la propia lógica permite demostrar.