DeepMind以AI完成Signal协议形式化验证，未发现新漏洞

11月10日，WIRED援引最新研究披露，Google DeepMind团队开发的AlphaProof Code框架在四周期间完成了对Signal加密通信协议的形式化验证，确认其核心逻辑按预期运行，未检测到新增安全缺陷。

旧版协议漏洞被精准定位，验证机制展现可靠性

尽管新版协议通过了全面测试，该系统仍成功识别出曾存在已知弱点的旧版本信号协议，并明确指出其无法满足形式化验证标准，凸显该工具在风险筛查方面的有效性。

研究团队开放规范与证明代码，推动验证生态发展

为促进技术共享，研究科学家Swarat Chaudhuri宣布，此次分析所构建的逻辑规范与形式化证明文件已对外开源，旨在支持更广泛的安全验证实践，助力全球软件系统的可信性提升。