媒体报道 · AI 辅助摘要
谷歌 DeepMind 用 AI 智能体完成 Signal 加密协议形式化验证
报道日期 · 本站整理
据IT之家报道，谷歌 DeepMind 团队利用具备自主执行能力的 AI 智能体，对 Signal 端到端加密协议完成形式化验证，以数学方法证明其安全属性。该方法还成功识别出旧版 Signal 协议实现中的已知漏洞并判定其未通过验证。整个分析耗时约四周，消耗大量算力；谷歌向《连线》表示尚不确定该技术能否大规模推广。研究针对协议本身，并非对 Signal 应用的整体安全审查。
来源与说明
本快讯依据所链接媒体的报道进行 AI 辅助整理，并非官方公告或 YYSI 独立调查；请查阅原报道及其证据。