AI レポート · Google DeepMind · 2026-11-10 · ブログ・論評
Google DeepMind、GeminiでSignalのプロトコルを形式検証
原題: Formal Verification of Signal’s Protocol with Gemini
Google DeepMindの研究者らは、新たなエージェント型フレームワーク「AlphaProof Code」を使い、Signalのプロトコルを支える実際のコードの主要なセキュリティ特性を、AIエージェントに数学的に証明させた。証明対象の決定と仕様の検討は人間の専門家が担い、証明作業はAIエージェントが行う。エージェントは証明を監査し、人間が再確認すべき箇所を指摘する。