Rapports sur l'IA · Google DeepMind · 2026-11-10 · Blog / commentaire
Vérification formelle du protocole de Signal avec Gemini
Titre original: Formal Verification of Signal’s Protocol with Gemini
Des chercheurs de Google DeepMind ont utilisé AlphaProof Code, un nouveau cadre agentique, pour guider des agents d'IA dans la démonstration mathématique de propriétés de sécurité essentielles du code sous-jacent au protocole Signal. Des experts humains ont décidé de ce qu'il fallait prouver et ont examiné les spécifications de sécurité, tandis que les agents d'IA ont réalisé les démonstrations en Lean. Les agents ont également audité les démonstrations et signalé les points nécessitant un second regard humain.