Google DeepMind·· 2 天前精选AI 评分77
Google DeepMind 推出 AlphaProof Code 框架，形式化验证 Signal 密码协议实现代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，首次对 Signal 协议的实际实现代码完成数学化安全证明，此前该挑战被认为极为困难。
推荐理由
原文给出框架工作流程、生成六百万行 Lean 和四周完成验证等细节，读者可据此判断形式化验证的可行路径。
来源：Google DeepMind · deepmind.google