Inteligencia Artificial
AlphaProof Code: la IA de Google DeepMind demuestra que el cifrado de Signal hace lo que promete
Google DeepMind presenta AlphaProof Code, agentes de IA que verificaron formalmente el código del protocolo de Signal en cuatro semanas. Qué probó, cifras y qué no significa.
Leer más