IA & sécuritéNiveau d'alerte 3 sur 5 : Important
Des agents IA de Google ont vérifié le cœur du chiffrement de Signal en quatre semaines
Google DeepMind a fait démontrer par l'IA, jusqu'au code machine, les garanties de sécurité des conversations à deux de Signal, échange post-quantique compris. Ce que la preuve couvre et ce qu'elle laisse de côté.