Google DeepMind 研究人员构建了一种全新的“智能体框架”（agentic framework），成功对 Signal 加密协议的代码进行了形式化验证——这长期以来一直被视为一项重大的安全挑战。 
今天，我们分享了软件安全领域的一个里程碑式成果，它曾被视为一项艰巨的挑战：Google DeepMind 的研究人员引导人工智能智能体（AI agents），通过数学证明的方式，验证了 Signal 协议底层代码的关键安全属性。该协议为 Signal 和 Google Messages 等应用中数十亿次私密对话提供了安全保障。 
这一突破性成果得益于 AlphaProof Code——这是一种全新的、具备前所未有深度且用于形式化验证的智能体框架，它将人类专业知识与人工智能智能体有机结合。形式化验证（即通过数学方法证明代码能够正确运行且不存在缺陷）是安全保障的最高标准；然而，这一过...