EA-Google DeepMind · 2026-11-11
AI首次在数学上证明了@signalapp的协议在代码层面是安全的。
利用我们突破性的AlphaProof代码框架，我们验证了这款即时通讯应用的加密系统——它每天保护着数十亿条私人信息。