Google DeepMind utilizó IA para verificar la seguridad del protocolo Signal y apunta a revisar todo el software
La compañía desarrolló AlphaProof Code, un marco de IA capaz de demostrar matemáticamente algunas de las principales garantías criptográficas del protocolo. El proyecto demandó cuatro semanas y abre nuevas posibilidades para detectar vulnerabilidades en sistemas críticos. Google DeepMind dio un nuevo paso en la aplicación de inteligencia artificial a la seguridad informática. Sus investigadores utilizaron…