RechercheAnalyse ·
AlphaProof Code : Google DeepMind fait prouver par des agents le code de chiffrement de Signal
Des agents IA ont produit plus de six millions de lignes de preuves mathématiques pour vérifier le code qui protège les conversations Signal. Le travail a pris quatre semaines selon DeepMind. Ce que la démonstration établit, et ce qu'elle ne dit pas.