Google DeepMind·· 2 天前AI 评分77
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 · deepmind.google