Google DeepMind 公布 AlphaProof Code，完成 Signal 核心密码代码的形式化验证

Introducing AlphaProof Code: a breakthrough in verifying complex software at depth

Google DeepMind 公布 AlphaProof Code 多 LLM 智能体框架，在四周内完成 Signal 协议核心密码代码关键安全属性的形式化验证。

推荐理由：Google DeepMind 将 Signal 的形式化验证从协议设计推进到实际代码层面，覆盖设计与实现之间容易隐藏漏洞的落差。