AI SecurityMicrosoft utilise des agents IA pour prouver mathématiquement que son code de chiffrement n'a aucun défaut
L'équipe derrière la bibliothèque de cryptographie de Windows et Azure fait quelque chose d'inhabituel : non seulement tester le code, mais prouver qu'il est correct, pour chaque entrée possible, en utilisant des preuves mathématiques formelles rédigées en partie par l'IA.
