跳到正文
热点事件持续更新

DeepMind用AI代理形式化验证Signal协议代码

1 篇报道1 个报道来源5 小时前更新

先了解这件事

AI 综述

Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，并用它对 Signal 协议的实际代码给出了关键安全性质的数学证明。DeepMind 称这是首次用 AI 在这一深度形式化验证广泛部署的密码协议，也是任何方法首次验证此类协议的实现。 DeepMind 称，由 Gemini Carbon 驱动的智能体完成了证明，生成超过六百万行 Lean 代码，整个验证过程耗时四周，而这类任务历史上通常需要专家团队数年。DeepMind 表示将开源其形式化验证工件供社区使用。

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

最新进展11月10日 20:02
Google DeepMind 发布 AlphaProof Code，用 AI 代理形式化验证 Signal 协议代码

报道时间线

沿着报道，了解事件的不同侧面。

11月10日
  1. Google DeepMind精选
    Google DeepMind 发布 AlphaProof Code，用 AI 代理形式化验证 Signal 协议代码

    Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，用它对 Signal 协议的实际代码给出了关键安全性质的数学证明，称这是首次用 AI 在这一深度形式化验证广泛部署的密码协议，也是任何方法首次验证此类协议的实现。

本事件热度走势

可比范围当前
9
可比范围峰值
1011月10日 21:00
近 24 小时变化
–

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