# 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 · Computación
Página: https://themorning.science/es/story/verificar-el-codigo-de-signal-era-un-reto-que-llevaba-anos-de-trabajo-de-experto-38a943844af7c35d
Tipo: Seguridad · Impacto: medio

## Lo esencial

- Google DeepMind afirma que sus agentes de IA demostraron matemáticamente que partes clave del código detrás del protocolo de cifrado de Signal hacen lo que deben hacer.
- El protocolo protege las conversaciones privadas en Signal y Google Messages.
- Según DeepMind, la IA completó el trabajo en un mes, mientras que verificar ese código había requerido años de trabajo de expertos.

## Por qué importa

Si la verificación se sostiene, aporta más confianza en que el cifrado de mensajería privada funciona como se espera. Por ahora la afirmación procede de DeepMind y la fuente disponible es breve, así que conviene esperar detalles independientes.

## Cronología

- 2026-11-12: DeepMind anuncia que su IA verificó partes clave del código de Signal en un mes

## 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

Etiquetas: cifrado, signal, deepmind, verificación formal, seguridad, mensajería privada

---

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