Google DeepMind·· 1 天前精选
Google DeepMind 公布 AlphaProof Code 研究，形式化验证 Signal 核心加密代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
内容摘要
Google DeepMind 公布 AlphaProof Code 研究，利用多 LLM 智能体框架和 Lean，对 Signal 协议实际代码的关键安全属性进行形式化验证。
推荐理由
该研究给出人类专家、多种大语言模型与 Lean 协作验证生产级密码代码的流程，可供评估 AI 形式化验证的工程路径。
来源：Google DeepMind · deepmind.google