
DeepMind prouve formellement des pans de Signal en quatre semaines
Des chercheurs de Google DeepMind ont prouvé mathématiquement, à l'aide d'agents IA, plusieurs garanties cryptographiques clés du protocole Signal, en quatre semaines. La preuve formelle gagne enfin en vitesse, mais son coût et son passage à l'échelle restent inconnus.














