Recibe noticias al instante en WhatsApp
¡Hito en ciberseguridad! La IA de Google DeepMind verifica en un mes el código de Signal que tomaba años revisar
Google DeepMind anunció que sus agentes de inteligencia artificial verificaron matemáticamente partes clave del código de Signal en cuatro semanas. Este protocolo criptográfico resguarda la privacidad de millones de conversaciones en Signal, Google Messages y WhatsApp. Tradicionalmente, comprobar la seguridad real de estas implementaciones requiere años de trabajo por parte de especialistas humanos. Con este avance, la compañía demuestra cómo la automatización acelera la auditoría de software crítico.
Cómo funciona AlphaProof Code en el código de Signal
El sistema desarrollado se denomina AlphaProof Code y combina modelos avanzados con supervisión de expertos. Primero, investigadores y modelos tradujeron los objetivos de privacidad en especificaciones matemáticas formales. Luego, agentes impulsados por Gemini Carbon escribieron las pruebas y generaron más de seis millones de líneas en lenguaje Lean. Este entorno permite que una computadora compruebe cada demostración lógica de forma automática y sin ambigüedades.
Profundiza este contenido con: ¡Peligro para Rockstar! La inteligencia artificial podría llevar GTA VI a PC antes del lanzamiento oficial
Resultados de las pruebas y detección de errores
Tras auditar su propio trabajo, los agentes marcaron el uno por ciento del código de Signal para revisión humana. El análisis no encontró vulnerabilidades inéditas en los módulos evaluados del sistema de mensajería. Para validar la precisión del método, el equipo reintrodujo dos fallos históricos ya corregidos en una copia aislada. En ambos experimentos, la inteligencia artificial demostró matemáticamente que esas versiones comprometían la seguridad de los mensajes.
Futuro abierto tras auditar el código de Signal
Ehren Kret, director de tecnología de Signal, destacó que el proyecto amplía verificaciones previas de su fundación. Por su parte, el científico Swarat Chaudhuri subrayó la importancia de mantener intervención humana al definir especificaciones técnicas. Google DeepMind liberará como código abierto los artefactos creados durante esta auditoría del código de Signal. A futuro, la empresa planea escalar esta tecnología hacia redes eléctricas y firmware de dispositivos médicos.
Aquí va un video, no te lo pierdas:
🚀 Si buscas mantenerte al día con las noticias nacionales e internacionales más relevantes 🌐
