AI 報告 · Google DeepMind · 2026-11-10 · 部落格／評論
運用 Gemini 對 Signal 協定進行形式化驗證
原標題: Formal Verification of Signal’s Protocol with Gemini
Google DeepMind 研究人員運用全新的代理式框架 AlphaProof Code，引導 AI 代理以數學方式證明 Signal 協定背後程式碼的關鍵安全性質。人類專家負責決定要證明的內容並審查安全規格，AI 代理則以 Lean 執行證明。這些代理也會稽核證明，並標示出需要人類再次檢視的部分。