Google DeepMind 推出用於軟體驗證的 AlphaProof Code

Google DeepMind 團隊宣布推出 AlphaProof Code 系統，旨在透過數學證明對複雜軟體系統進行深度驗證。

在展示該技術能力的過程中，專用 AI 代理在 Lean 系統中編寫了 300 萬行證明。這些數學推導被用於嚴格檢查 Signal 通訊軟體關鍵加密原始碼的安全性和正確性。

這項新工具結合了機器學習方法與形式化驗證器，能夠自動化軟體開發中繁瑣且耗時的手動定理證明過程。

該開發旨在徹底改變關鍵基礎設施的安全保障方式，在編譯階段降低安全通訊協定中隱藏漏洞的可能性。