Google DeepMind·· 23 小时前精选AI 评分82
Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 发布 AlphaProof Code，一个由多个 LLM 智能体组成的形式化验证框架，并用它证明了 Signal 协议实际代码的关键安全属性。
推荐理由
DeepMind 用多智能体框架在四周内完成 Signal 协议代码的形式化验证，并公开了验证产物。
来源：Google DeepMind · deepmind.google