研究突破

DeepMind 称完成 Signal 协议代码级安全证明

Google DeepMind 宣布，使用 AlphaProof Code 框架验证 Signal 协议的密码系统，并称 AI 首次在代码层面对该协议的安全性给出数学证明。