Google DeepMind prouve avec l’IA la sécurité du code de Signal en quatre semaines
Google DeepMind présente AlphaProof Code, un système d’IA capable de prouver mathématiquement qu’un logiciel fait bien ce qu’il promet. Premier test grandeur nature : le protocole de chiffrement de Signal, la messagerie réputée la plus sûre. En quatre semaines, l’IA…
