# Verificar el código de Signal era un reto que llevaba años de trabajo de expertos. DeepMind dice que su IA lo ha hecho en un mes

Fuente: [Robótica e IA - Xataka](https://www.xataka.com/seguridad/verificar-codigo-signal-era-reto-que-llevaba-anos-trabajo-expertos-deepmind-dice-que-su-ia-ha-hecho-mes) · 2026-11-12 · IA
Página: https://themorning.dev/es/story/verificar-el-codigo-de-signal-era-un-reto-que-llevaba-anos-de-trabajo-de-experto-38a943844af7c35d
Tipo: Investigación · Impacto: medio

## Lo esencial

- Google DeepMind usó agentes de IA para verificar formalmente, es decir demostrar matemáticamente, partes clave del código y varias garantías criptográficas del protocolo de Signal.
- Según DeepMind, el trabajo se completó en aproximadamente un mes, un proceso que según Xataka habría requerido años de trabajo de expertos.
- El protocolo protege las conversaciones de Signal, Google Messages y WhatsApp.

## Por qué importa

Muestra que la verificación formal asistida por IA puede acelerar la comprobación de protocolos criptográficos. Las garantías verificadas se limitan a partes concretas del código, por lo que no equivalen a una auditoría completa de las aplicaciones.

## Cronología

- 2026-11-12: Google DeepMind anuncia la verificación formal de garantías clave del protocolo de Signal con ayuda de IA

## Cobertura

- [Verificar el código de Signal era un reto que llevaba años de trabajo de expertos. DeepMind dice que su IA lo ha hecho en un mes](https://www.xataka.com/seguridad/verificar-codigo-signal-era-reto-que-llevaba-anos-trabajo-expertos-deepmind-dice-que-su-ia-ha-hecho-mes) — Robótica e IA - Xataka, 2026-11-12
- [Google pone a prueba la seguridad de Signal](https://blog.elhacker.net/2026/11/google-pone-prueba-la-seguridad-de.html) — Blog elhacker.NET, 2026-11-12
- [Una IA de DeepMind demuestra matemáticamente que el protocolo de Signal es seguro](https://wwwhatsnew.com/2026/11/12/deepmind-verifica-formalmente-protocolo-signal/) — WWWhat's new, 2026-11-12

Etiquetas: criptografía, signal, deepmind, verificación formal, seguridad, inteligencia artificial

---

Resumen generado por IA (claude-haiku-5-5) a partir de las notas citadas en «Cobertura». Los titulares pertenecen a sus medios. The Morning Dev – https://themorning.dev/es