Google AI 首度証明 Signal 實際代碼安全，四週完成

據鏈新聞發布，Google DeepMind 發表 AlphaProof Code，AI 代理用 600 萬行 Lean 証明 Signal 加密協定在裝置上實際執行的代碼符閤主要安全性質，四週完成、人只需審 1%；DeepMind 說這類協定實作首度被完整形式驗証。 這篇文章 Google AI 首度証明 Signal 實際代碼安全，四週完成最早出現於鏈新聞 ABMedia 。