Google DeepMind 用 AlphaProof Code 对 Signal 协议机器码完成形式化安全验证

Google DeepMind 发布 AlphaProof Code 多智能体形式化验证框架，并首次对广泛部署协议 Signal 的生产机器码完成形式化安全验证。