Google DeepMind 公布 AlphaProof Code：用多模型智能体框架对 Signal 协议的真实实现代码做形式化验证，产出超过六百万行 Lean 证明，证明即使设备短期被攻陷、消息在攻陷前后依然受保护。团队称这是 AI 首次在如此深度上验证一个被广泛部署的密码协议，也是该协议实现第一次被任何方法完整验证。整个流程只用了四周。