DeepMind发布AlphaProof Code验证框架

2026年11月10日，Google DeepMind 发布 AlphaProof Code，一个结合人类专家与 AI 智能体的多 LLM 智能体形式化验证框架，用于对代码做数学证明。据其发布内容，该框架被用于对 Signal 协议实际运行的代码进行形式化验证，生成超过 600 万行 Lean 证明，人工仅需复核约 1% 代码，整个过程耗时四周；DeepMind 称此类任务历史上需专家团队数年完成，并称验证证明 Signal 核心密码代码提供了专家指定的安全保护。发布内容还称，在两种情况下系统均产出机器可检验的证明，表明有缺陷版本不安全。DeepMind 表示正将其形式化验证产物开源供社区使用。上述耗时、证明规模与人工复核比例均出自该一手发布，尚无独立跟进报道。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。