谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性

内容摘要

谷歌 DeepMind 团队利用具备自主执行能力的 AI 智能体，对 Signal 加密协议完成形式化验证，以数学方法证明其端到端加密的安全性。该协议除 Signal 应用外，也被 WhatsApp 和 Google Messages 采用，研究成果被称为里程碑式进展，但验证过程消耗大量算力。