Google DeepMind 宣布，使用 AlphaProof Code 框架对 Signal 通信协议的密码系统进行验证，并称已通过 AI 在代码层面对其安全性给出数学证明。
DeepMind 将此描述为 AI 首次完成 Signal 协议的代码级安全证明。该机构称，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.@GoogleDeepMind在 X 查看原帖发布于 2026/11/11 19:50（北京时间）