DeepMind推出AlphaProof Code完成Signal协议形式化验证

1. 20:02
   Google DeepMind精选

   Google DeepMind 推出 AlphaProof Code：实现 Signal 加密协议底层代码的形式化数学验证

   Google DeepMind 发布新型多 LLM 智能体形式化验证框架 AlphaProof Code，成功对保护数十亿人通信的 Signal 协议实际底层代码完成了关键安全属性的数学证明。

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