Google DeepMind·· 1 天前精选AI 评分83
Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，由 Gemini Carbon 驱动的智能体生成超 600 万行 Lean 代码，证明 Signal 协议实际编译代码的关键安全属性。
推荐理由
DeepMind 用多智能体框架把形式化验证推进到编译后代码层，四周完成过去需数年的工作，并开源验证产物。
来源：Google DeepMind · deepmind.google