币界网消息，谷歌DeepMind开发的AI系统Alphaproof Code在四周内完成了对Signal加密协议的数学证明，并成功识别出旧版的已知漏洞。该系统通过将安全要求转化为数学公式进行验证，确保在规定条件下始终满足安全性。研究人员表示，普通安全测试无法发现所有漏洞，而数学证明则提供了更严格的验证。此次检查的现行协议部分，AI没有发现新漏洞。