// AI 新闻 · 2026-11-10 · WIRED
谷歌深Mind用AI验证Signal加密协议安全性
谷歌深Mind研究团队在四周内完成对Signal加密协议的正式验证，使用名为AlphaProof Code的新型AI框架实现自动化证明。该工作为全球通信平台如Signal、Google Messages和WhatsApp所依赖的加密协议提供了独立验证，进一步增强了其安全性可信度。
原文发布 2026-11-10 13:01（北京时间）来源 WIRED自动整理 · 已核对原文
01摘要
分析显示，针对已知漏洞的旧版Signal协议，AI系统能正确识别并表明其无法被正式验证；研究未发现新漏洞，但强调此成果仅为更大范围验证的初步阶段。团队已公开相关规格与证明材料以支持后续工作，并指出当前验证仍受限于代码范围，难以覆盖全部软件。研究强调人机协作模式的重要性，避免AI完全自主生成目标与证明，保留关键环节的人类审查。
由开源模型根据原文自动整理，经数字/专名逐项核对（必须在原文中出现），以原文为准。
02要点
- 谷歌深Mind在四周内利用AlphaProof Code对Signal协议完成正式验证。
- AI系统能识别旧版Signal中已知的长期修复漏洞，表明协议无法被正式验证。
- 研究未发现新漏洞，但明确指出该成果仅为扩展至全球软件的初步里程碑。
- 团队强调人机协作模式，保留关键环节的人类干预以确保准确性。
03原文出处
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
WIRED · 发布于 2026-11-10 13:01（北京时间） · 上方为原标题
另有 7 家报道
05相关新闻
出自智图 AI 新闻：从 1100 多个官方与媒体信源采集。摘要只转述原文内容，详情请看原文。 2026-11-10 全部新闻 · 按日期归档 · 全部 AI 新闻 · 今日