Google DeepMind／官方：推出 AlphaProof Code——約四星期形式化驗證 Signal 協議實作，產出約六百五十萬行 Lean 證明
Google DeepMind 於二零二六年十一月十日在官方博客宣布推出 AlphaProof Code，這是一套結合人類專家與人工智能代理、用於深度形式化驗證的框架。研究人員引導代理，以數學方式證明 Signal 協議參考實作 libsignal 的關鍵安全特性；該協議的技術用於保護 Signal 與 Google...
Google DeepMind 於二零二六年十一月十日在官方博客宣布推出 AlphaProof Code，這是一套結合人類專家與人工智能代理、用於深度形式化驗證的框架。研究人員引導代理，以數學方式證明 Signal 協議參考實作 libsignal 的關鍵安全特性；該協議的技術用於保護 Signal 與 Google...