Google DeepMind·· 20 小时前精选AI 评分72
Google DeepMind 推出 AlphaProof Code：实现 Signal 加密协议底层代码的形式化数学验证
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 发布新型多 LLM 智能体形式化验证框架 AlphaProof Code，成功对保护数十亿人通信的 Signal 协议实际底层代码完成了关键安全属性的数学证明。
推荐理由
原文展示了多智能体框架结合 Lean 语言完成工业级代码形式化验证的完整流程，为高安全软件验证提供了可落地的工程路径。
来源：Google DeepMind · deepmind.google