Google DeepMind·· 3 天前精选AI 评分91
Google DeepMind 提出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AI 导读
Google DeepMind 提出多 LLM 智能体框架 AlphaProof Code，由人类专家与 AI 共同确定待证安全目标，Gemini Carbon 驱动的智能体生成超过 600 万行 Lean 证明，形式化验证了 Signal 协议实际编译代码的关键安全属性。
推荐理由
读者可了解多 LLM 智能体如何把形式化验证从设计层推进到实际编译代码，并看到耗时与人工审查量的具体对比。
来源：Google DeepMind · deepmind.google