Google DeepMind 用 AlphaProof Code 将 Signal 协议安全性数学证明到代码层

导读

Google DeepMind 宣布首次用 AI 数学证明 Signal 的协议在代码层面是安全的。其使用自研的 AlphaProof Code 框架，验证了这个每天保护数十亿条私人消息的加密系统。