谷歌让AI给Signal加密协议做数学证明，4周完成，还查出了旧版漏洞

contact@theblockbeats.org (律动BlockBeats)

动察 Beating AI 快讯，Google DeepMind 开发了一套名为 AlphaProof Code 的 AI 系统，只用四周，就用数学方法验证了 Signal 加密协议的部分核心安全保障。

普通安全测试只能检查有限的情况，没发现漏洞不代表漏洞不存在。数学证明则更严格：先把软件必须满足的安全要求写成数学公式，再证明这些要求在规定条件下始终成立。

过去，这种证明需要专家花大量时间推导。AlphaProof Code 可以让 AI 自己尝试证明，发现推导有问题就修改，再继续验证。人类专家负责审核关键环节。

研究人员还拿存在已知漏洞的 Signal 旧版测试它。AI 成功识别出这些早已修复的问题，并确认旧版无法通过相应的数学证明。对于此次检查的现行协议部分，AI 没有发现新漏洞。