Sujet

Chiffrement

Tous les articles d’Actu.ai sur le sujet « Chiffrement », du plus récent au plus ancien. 3 articles

AlphaProof Code : l’IA de DeepMind prouve mathématiquement la sécurité du chiffrement de Signal

Google DeepMind a présenté le 10 novembre 2026 AlphaProof Code, un système d’agents d’IA qui a prouvé mathématiquement des propriétés de sécurité du code de la messagerie Signal, jusqu’au niveau des instructions exécutées par le processeur. Un travail de quatre semaines là où il fallait des années. Ce qui a été prouvé, comment, et ce que cela ne garantit pas.

5 min