Google DeepMind 的研究团队近期利用人工智能技术，对即时通讯应用 Signal 的核心加密协议进行了形式化验证。这一进展标志着加密安全与人工智能结合的重要里程碑。
该项目作为一项概念验证（PoC），仅耗时四周完成。其意义主要体现在两个维度：首先，它为保护全球海量通信数据（包括 Signal、Google Messages 和 WhatsApp）的加密技术提供了独立的数学佐证；其次，它展示了 Google DeepMind 基于新框架 AlphaProof Code 的形式化验证能力。
尽管人工智能辅助的形式化验证目前仍处于发展阶段，其在大规模代码库中的实际效用及有效性尚待进一步观察，但该技术被视为软件安全的“圣杯”。通过运用数学逻辑严格检查并确认软件行为是否符合预期，形式化验证为关键基础设施的安全性提供了更坚实的保障。
