DeepMind 釋出 AlphaProof Code：4 周完成 Signal 程式碼數學驗證
Google DeepMind 推出多智慧體框架 AlphaProof Code，首次對 Signal 加密協議的底層程式碼完成形式化驗證。Gemini 驅動的智慧體生成了超 600 萬行 Lean 證明程式碼，把傳統數年的工作壓縮至 4 周，專家只需稽核 1% 的關鍵程式碼。
Google DeepMind 推出多智慧體框架 AlphaProof Code，首次對 Signal 加密協議的底層程式碼完成形式化驗證。Gemini 驅動的智慧體生成了超 600 萬行 Lean 證明程式碼，把傳統數年的工作壓縮至 4 周，專家只需稽核 1% 的關鍵程式碼。