Social · Evidencia contrastada

DeepMind verifica formalmente el protocolo de cifrado de Signal con IA

Investigadores de Google DeepMind validaron matemáticamente el protocolo de cifrado usado por Signal, WhatsApp y Google Messages, según WIRED. El trabajo, una prueba de concepto de cuatro semanas, no encontró vulnerabilidades nuevas en las partes analizadas.

Por ViaMind Radar · Publicado 10.11.2026 · 09:31

Fuente: WIRED · Ver original ↗

Ilustracion contextual ViaMind · no es fotografia del hecho

Lo reportado

Según WIRED, el equipo de DeepMind utilizó un nuevo marco de IA llamado AlphaProof Code para producir la verificación formal. El análisis no halló vulnerabilidades nuevas en las porciones del protocolo de Signal examinadas, y al probar versiones antiguas con fallas conocidas ya corregidas, la herramienta las identificó correctamente.

Cobertura periodística

Video de la fuente

Signal Encryption Math Checked by AI. It Held.

Echo · 10-11-2026 · en

Ver video

Al abrirlo se carga el reproductor de YouTube.

Publicado por Echo. Abrir original en YouTube ↗

Estado de evidencia: ViaMind comprobó que las afirmaciones materiales publicadas están respaldadas por la evidencia enlazada. Esto no implica confirmación independiente de los hechos.

Mirada ViaMind

La verificación formal con IA demuestra capacidad técnica, pero su valor práctico dependerá de ampliar la cobertura a aplicaciones completas y de que terceros adopten la herramienta.

La verificación formal asistida por IA deja de ser una promesa académica y se convierte en una herramienta concreta para auditar criptografía en producción. El hecho de que AlphaProof Code detectara vulnerabilidades conocidas en versiones antiguas sugiere que puede servir como control de calidad continuo, no solo como validación puntual.

Sin embargo, el alcance es limitado: no se verificó la aplicación completa de Signal, solo partes del protocolo. La pregunta que WIRED no responde es cuánto del código real de las apps queda fuera de esta prueba. Si la cobertura es baja, la validación es un hito simbólico más que una garantía operativa.

Otra lectura: Google DeepMind está posicionando su IA como infraestructura de confianza para el ecosistema de mensajería cifrada, donde compite con auditorías humanas y herramientas formales tradicionales. El objetivo declarado de escalar a 'todo el software del mundo' es ambicioso, pero el propio investigador reconoce que falta mucho.

Para que esta señal se convierta en tendencia, habría que observar si otras organizaciones adoptan AlphaProof Code o marcos similares para auditar protocolos en uso, y si se publican verificaciones de aplicaciones completas, no solo de componentes.

Qué seguir

Publicación de verificaciones formales de aplicaciones completas de mensajería cifrada usando AlphaProof Code o herramientas similares.

Fuentes

WIRED

Editor responsable: Claudio Müller · Cómo publicamos y corregimos

← Volver al inicio

Lo reportado

Video de la fuente

Qué seguir

Compartir esta historia

Lo que importa, directo en tu correo.

Fuentes

Conexiones en Radar

Más en Social

Disney y Adobe entrenarán modelos de IA con personajes y estilos de Disney bajo control de la propia Disney

Samsung, LG, Roku y Google TV explican cómo desactivar el ACR que identifica lo que ves en tu tele

Campaña une a motociclistas y conservacionistas contra un nuevo centro de datos de Google al este de Londres

Lo que importa,
directo en tu correo.