DeepMind AI verifica formalmente las características de seguridad clave del protocolo signal

Los investigadores de Google DeepMind utilizaron la IA basada en agentes para confirmar matemáticamente varias garantías criptográficas clave dentro del protocolo Signal, lo que supone un importante logro tanto para la criptografía como para la inteligencia artificial. Este proyecto de prueba de concepto se completó en solo cuatro semanas y valida la seguridad subyacente de las comunicaciones en plataformas como Signal, Google Messages y WhatsApp, demostrando las capacidades de DeepMind con su marco de código AlphaProof. Aunque el análisis no encontró nuevas vulnerabilidades en las partes examinadas del protocolo, la herramienta identificó con éxito las vulnerabilidades conocidas en versiones anteriores de Signal. Ehren Kret, director de tecnología de Signal, señaló que el enfoque de DeepMind permite una expansión significativa más allá de los esfuerzos de verificación anteriores. Pushmeet Kohli, científico jefe de Google Cloud y vicepresidente de investigación de DeepMind, sugirió que tales verificaciones podrían permitir que servicios críticos, como los bancos, demuestren la corrección de su código. Swarat Chaudhuri, científico de investigación de DeepMind, enfatizó que escalar esto a todo el software mundial es un objetivo a largo plazo, destacando una preferencia por un proceso de colaboración entre humanos y la IA en lugar de la generación autónoma de la IA. Los investigadores están haciendo que sus especificaciones y pruebas públicas para ayudar al campo más amplio de la verificación formal.