發生什麼事
此次验证针对 Signal 的加密系统，这套系统每天保护数十亿条私人消息。DeepMind 使用自家的 AlphaProof Code 框架完成验证（@GoogleDeepMind）。
01参考来源
证据：🗣 官方自述，本站未实测。
- @GoogleDeepMind：Google DeepMind 官方账号于 2026/11/11 11:50 UTC 发文，表示使用 AlphaProof Code 框架验证 Signal 协议在代码层面的安全性
快讯 · 台北时间
DeepMind 称以 AlphaProof Code 证明 Signal 协议在代码层面安全
一句重點：DeepMind 表示，AI 首次通过数学方法证明，Signal 通信协议在代码层面是安全的。