DeepMind
Google DeepMind Utiliza IA para Verificar el Código Criptográfico de Signal
Investigadores de Google DeepMind emplearon agentes de IA AlphaProof Code para verificar matemáticamente los mecanismos de protección de mensajes clave en Signal. Durante cuatro semanas, el sistema generó aproximadamente 6.5 millones de líneas de pruebas en Lean. El trabajo confirmó ciertas propiedades de seguridad del código criptográfico, pero no cubrió toda la aplicación.