Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，这是一个多 LLM 智能体框架，用于对实际运行代码做深度形式化验证。研究团队与模型协作把 Signal 协议的安全目标写成形式化规约，由 Gemini Carbon 驱动的智能体生成超过六百万行 Lean 证明，人工只需复核约 1% 的代码库，整个验证过程耗时四周。
推荐理由：AlphaProof Code 用多智能体把形式化验证推进到编译后代码层，并给出可复用的验证产物。