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

这项研究用 AI 智能体完成形式化验证，靠数学证明而非测试来找漏洞，还成功识别出旧版 Signal 协议中的已知安全问题。不过整个过程耗时约四周、算力消耗巨大，短期内难以大···