Google DeepMind Blog·· 1 小时前精选AI 评分71
Google DeepMind 发布 AlphaProof Code，对 Signal 协议代码完成形式化验证
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 推出 AlphaProof Code，一个多 LLM 智能体形式验证框架，并用它数学证明了 Signal 协议实际代码的关键安全属性。
推荐理由
将形式验证从协议设计层推进到实际部署代码层，并用 Lean 机器检查约束 AI 产出，是可验证的工程路径；开源验证工件对密码协议安全团队有直接参考价值。
来源：Google DeepMind Blog · deepmind.google