Google DeepMind·· 2 小时前精选
Google DeepMind 发布 AlphaProof Code，对 Signal 协议实际代码完成形式化验证
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体框架，首次以 AI 对广泛部署的 Signal 密码学协议的实际代码完成形式化验证，也是该协议实现首次被任何方法验证到这一深度。
推荐理由
这是当事方的发布，深入到 Signal 编译代码层面的形式化验证此前未被任何方法做到过，可借此了解 AI 智能体如何扩展安全验证的范围。
来源：Google DeepMind · deepmind.google