DeepMind asegura que su IA ha verificado en un mes el código de Signal, una tarea que a los expertos les llevaba años.
Traducido a lo que nos toca de cerca: el cifrado de WhatsApp depende del protocolo de Signal, el mismo que protege Signal y Google Messages. Si esa pieza falla, falla la base. Y hasta ahora nadie había demostrado con matemáticas que la implementación real —no el diseño sobre el papel— hiciera lo que promete.
Qué ha demostrado exactamente la IA de DeepMind
El equipo de Google DeepMind, con varios modelos de IA y revisores humanos, ha hecho verificación formal: usar matemáticas en lugar de pruebas para demostrar que el software se comporta como se pretende. Es la garantía más fuerte que existe, aunque tradicionalmente sea lenta. La compañía afirma que es la primera vez que se verifica así la implementación de un protocolo ampliamente desplegado, con IA o sin ella.
Los números del proceso: más de seis millones de líneas de Lean, un lenguaje que permite a un ordenador comprobar las demostraciones automáticamente, y cuatro semanas de trabajo. A un equipo de expertos esto le habría llevado años. Los agentes auditaron además su propio trabajo y marcaron alrededor del 1% del código para una segunda revisión humana.
Cuatro semanas, para que nos entendamos.
¿Y detecta errores de verdad? Ahí está la prueba de fuego: reintrodujeron dos fallos reales que ya se habían corregido en una versión aislada del código y el sistema produjo una prueba verificada por máquina de que esa versión no era segura. En el código bueno no aparecieron vulnerabilidades nuevas.
Una cosa es que tu app de mensajería diga que cifra los chats y otra muy distinta es tener una demostración matemática de que no te está mintiendo.
Por qué tu WhatsApp no se libra del debate
Ojo al matiz que repiten los propios investigadores: esto es un paso, no la meta. El proyecto no verificó toda la aplicación móvil de Signal y el equipo partía con ventaja, porque la Signal Foundation ya había hecho trabajo previo en porciones más pequeñas del código.
Ehren Kret, director de tecnología de Signal, vino a decir que el enfoque permite una expansión significativa y que, con las amenazas impulsadas por IA creciendo, esto les da aún más confianza en sus garantías de privacidad.
Todo suma, pero no cierra el círculo.
El otro debate es el de siempre: quién controla la herramienta. Swarat Chaudhuri, investigador de DeepMind, avisó contra un escenario en el que la IA escriba los objetivos y también las pruebas, los famosos 'exámenes autoescritos'. Por eso los humanos revisaron cada especificación y el 1% que marcaron los agentes. Si el vigilante y el vigilado son el mismo modelo, la garantía se parece demasiado a un 'confía en mí'.
El detalle que nadie quiere mirar: quién vigila a la IA que vigila
Esto no sale de la nada: la verificación formal lleva décadas en aviación y hardware crítico, y ahora asoma por las apps que usamos a diario. En mensajería, en cambio, siempre hemos funcionado con la fe del que descarga, el parche que llega tarde y la auditoría que casi nadie lee. Comparado con eso, una demostración automática sobre la implementación real del protocolo es un salto de verdad, no un titular de marketing.
Mi lectura, con la cautela por delante: el hito es real y merece contarse, pero no convierte WhatsApp en una caja fuerte blindada de la noche a la mañana. DeepMind no ha verificado la app entera, no ha dicho cuánto costó la operación ni si habrá producto comercial, y admite que escalarlo 'a todo el software del mundo' queda lejos. DeepMind ha abierto el código de sus artefactos de verificación, que es lo que permite replicar el experimento en vez de creérselo por la cara.
Ese es el punto.
Y queda la pregunta: si mañana cualquier app puede demostrar su cifrado con matemáticas en vez de con una nota de prensa, ¿quién se atreve a no hacerlo? De momento, nadie lo sabe.
El Salseómetro
Nivel de salseo: 5,5/10. No hay gritos en X ni cuentas de drama rebotando capturas, pero el fondo es gordo: seis millones de líneas de Lean después, seguimos sin saber quién audita a la IA que audita. Fritanga moderada, pregunta incómoda de las buenas.
📱 El TL;DR (Too Long; Didn't Read)
- 👤 De quién hablamos: DeepMind, el laboratorio de IA de Google, y el protocolo de Signal.
- 📲 En qué red social ha pasado: En ninguna: el debate corre por WhatsApp, Signal y Google Messages, que comparten ese cifrado.
- 🔥 Por qué es viral: Porque promete demostrar con matemáticas que tus chats están a salvo, y eso nos toca a todos.
