Google DeepMind·· 5 天前精选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 智能体形式化验证框架，首次用 AI 对广泛部署的 Signal 加密协议实际代码完成深度形式化验证。
推荐理由
Google DeepMind 用多模型智能体框架把 Signal 协议从设计层验证推进到实际编译代码，四周完成过去需数年的工作。
来源：Google DeepMind · deepmind.google