Google DeepMind·· 3 天前精选AI 评分80
Google DeepMind 发布 AlphaProof Code 框架并形式化验证 Signal 协议代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 研究人员发布了名为 AlphaProof Code 的新型智能体框架，用于对 Signal 加密协议的底层代码进行深度形式化验证。
推荐理由
该研究展示了 AI 智能体如何结合人类专家完成 Signal 协议代码的形式化验证，大幅缩短验证周期并开源相关成果。
来源：Google DeepMind · deepmind.google