Google DeepMind·· 2 小时前精选AI 评分88
Google DeepMind 推出 AlphaProof Code，形式化验证 Signal 协议代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，用 AI 智能体对 Signal 协议实际运行的代码做数学证明，生成超过 600 万行 Lean 证明，人工仅需复核约 1% 代码，整个过程耗时四周。
推荐理由模型分析
DeepMind 用多 LLM 智能体框架把 Signal 协议的实际编译代码形式化验证到实现层，生成超 600 万行 Lean 证明，人工只需复核约 1% 代码，耗时四周。对关注形式化验证、密码协议安全和 AI 智能体落地的人，可据此判断 AI 在安全保证环节的可行边界与人工介入比例。
来源：Google DeepMind · deepmind.google