DeepMind verifica con IA la criptografía de Signal
DeepMind verificó con IA la criptografía de Signal en cuatro semanas Google DeepMind usó IA agéntica para demostrar matemáticamente, es decir verificar formalmente, varias de las garantías criptográficas clave del protocolo Signal, el mismo que protege las conversaciones en la app Signal, Google Messages y WhatsApp. El trabajo se completó en cuatro semanas como prueba …









