1ms.news 归档 实时信息流
首发 BlockBeats 最新 北京时间 2 家来源 · 2 条报道 原文 ↗

DeepMind验证Signal协议代码

摘要

Google DeepMind推出AlphaProof Code，让多个AI智能体协作，用Lean语言为Signal协议运行代码生成逾600万行数学证明。验证仅用四周，人工只复核约1%的代码，植入的两个已修复漏洞均被判定不安全。

原文片段

AlphaProof Code Hacker News 182 points · 80 comments https://news.ycombinator.com/item?id=50439193

事件进展 共 2 条 ，最新在上

  1. 更新 Hacker News 热门 deepmind.google ↗

    DeepMind验证Signal协议代码

  2. 首发 BlockBeats t.me ↗

    AI数学证明Signal协议安全

    Google DeepMind用AlphaProof Code系统，四周内以数学方法验证了Signal加密协议部分核心安全保障。该AI还识别出Signal旧版中已修复的漏洞，现行协议部分未发现新漏洞。

最新消息

打开实时信息流，看全部 →