For the first time, AI has mathematically proven @signalapp’s protocol is secure down to the code level.
摘要
Google DeepMind 称，其 AlphaProof Code 框架对 Signal 应用的密码系统完成数学证明，验证到代码层面，并称这是 AI 首次做到这一点。该加密系统每天保护数十亿条私人消息。
摘要由模型根据原文撰写，以原文为准。
正文 · 原文
For the first time, AI has mathematically proven @signalapp’s protocol is secure down to the code level.
Using our breakthrough AlphaProof Code framework, we verified the messaging app’s cryptographic system – which protects billions of private messages every day.
来源：Google DeepMind · x.com
引用原文
GoogleDeepMind. For the first time, AI has mathematically proven @signalapp’s protocol is secure down to the code level.[EB/OL]. (2026-11-11)[访问日期]. https://x.com/GoogleDeepMind/status/2120484246401777737.