Google DeepMind 发布 AlphaProof Code 验证 Signal 代码

1. 02:18
   The Decoder精选

   Google DeepMind 发布 AlphaProof Code，四周内完成 Signal 加密核心形式化验证

   Google DeepMind 发布 AlphaProof Code，该系统利用 AI 智能体在四周内完成了 Signal 加密核心代码的形式化验证，而传统方法通常需要数年。基于 Gemini Carbon 构建的智能体生成了超过 600 万行 Lean 证明代码，仅标记约 1% 的代码供人工审查，并立即捕获了测试中故意植入的两个漏洞。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。