Google DeepMind 研究人员构建了一种全新的“智能体框架”（agentic framework），成功对 Signal 加密协议的代码进行了形式化验证——这长期以来一直被视为一项重大的安全挑战。 今天，我们分享了软件安全领域的一个里程碑式成果，它曾被视为一项艰巨的挑战：Google DeepMind 的研究人员引导人工智能智能体（AI agents），通过数学证明的方式，验证了 Signal 协议底层代码的关键安全属性。该协议为 Signal 和 Google Messages 等应用中数十亿次私密对话提供了安全保障。…