快訊 · 台北時間

DeepMind 稱以 AlphaProof Code 證明 Signal 協定程式碼層級安全

一句重點:DeepMind 表示,AI 第一次以數學方法證實,Signal 的通訊協定在程式碼層級上是安全的。

發生什麼事

被驗證的是 Signal 的加密系統,這套系統每天保護數十億則私人訊息。這次驗證靠的是 DeepMind 自家的 AlphaProof Code 框架(@GoogleDeepMind)。

01參考來源

證據:🗣 官方自述,本站未實測。

  • @GoogleDeepMind:Google DeepMind 官方帳號,2026/11/11 11:50 UTC 發文,表示以 AlphaProof Code 框架驗證 Signal 協定的程式碼層級安全