AI 报告 · Google DeepMind · 2026-11-10 · 博客 / 评论
借助 Gemini 对 Signal 协议进行形式化验证
原标题: Formal Verification of Signal’s Protocol with Gemini
谷歌DeepMind（Google DeepMind）的研究人员使用全新的智能体框架AlphaProof Code，引导AI智能体以数学方式证明Signal协议底层代码的关键安全属性。人类专家决定要证明的内容并审查安全规范，而AI智能体则在Lean中完成证明。这些智能体还对证明进行了审核，并标出了需要人类再次复核的部分。