科技新報從數年縮短至四週，DeepMind AI 成功完成 Signal 核心加密「形式化驗證」
署名 TechNews 編輯台全文約 948 字
文章摘要
科技新報 · 文章頁摘要Google DeepMind 10 日宣布，研究團隊成功利用全新開發的框架，結合「人類審核」與「AI 代理」（AI Agents），完成對知名即時通訊軟體 Signal 核心加密機制的「形式化驗證」（formal verification）。此舉成功將安全保證從理論設計層次，落實到實際執行的程式碼...
Google DeepMind 10 日宣布，研究團隊成功利用全新開發的框架，結合「人類審核」與「AI 代理」（AI Agents），完成對知名即時通訊軟體 Signal 核心加密機制的「形式化驗證」（formal verification）。...