DeepMind 公布 AlphaProof Code 对 Signal 核心代码的验证

团队用人工审核的规格和多智能体生成证明，再由 Lean 检查，验证了 Signal 参考实现的若干关键安全性质。