ViaMind RadarIA · Evidencia contrastada
DeepMind verifica matemáticamente partes clave del protocolo de cifrado de Signal en un mes
El sistema AlphaProof Code, que combina modelos de IA con expertos humanos, generó más de seis millones de líneas de Lean para comprobar el protocolo que protege Signal, WhatsApp y Google Messages.
Fuente: Xataka · Ver original ↗
Lo reportado
Según Xataka, investigadores de DeepMind y varios modelos de IA tradujeron los objetivos de seguridad de Signal en especificaciones formales, revisadas por expertos humanos. Los agentes, impulsados por Gemini Carbon, escribieron las pruebas y auditaron su propio trabajo, señalando aproximadamente el 1% de la base de código para una segunda revisión humana.
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.
Qué seguir
Publicación de una verificación independiente o adopción del flujo por otros protocolos criptográficos.
Compartir esta historia
RECIBE VIAMIND RADAR
Lo que importa,
directo en tu correo.
Un resumen diario con una historia clave de cada sección.
Fuentes
Editor responsable: Claudio Müller · Cómo publicamos y corregimos
Más en Inteligencia Artificial
