發生什麼事
被驗證的是 Signal 的加密系統,這套系統每天保護數十億則私人訊息。這次驗證靠的是 DeepMind 自家的 AlphaProof Code 框架(@GoogleDeepMind)。
01參考來源
證據:🗣 官方自述,本站未實測。
- @GoogleDeepMind:Google DeepMind 官方帳號,2026/11/11 11:50 UTC 發文,表示以 AlphaProof Code 框架驗證 Signal 協定的程式碼層級安全
一句重點:DeepMind 表示,AI 第一次以數學方法證實,Signal 的通訊協定在程式碼層級上是安全的。
被驗證的是 Signal 的加密系統,這套系統每天保護數十億則私人訊息。這次驗證靠的是 DeepMind 自家的 AlphaProof Code 框架(@GoogleDeepMind)。
證據:🗣 官方自述,本站未實測。