Google DeepMind·· 3 小时前推荐指数79
Google DeepMind 发布 AlphaProof Code，形式化验证 Signal 协议代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 发布 AlphaProof Code 多 LLM 智能体框架，用 AI 智能体对 Signal 协议实际运行的代码做形式化验证，证明其满足关键安全属性。
来源：Google DeepMind · deepmind.google