Ars Technica · AI· Lily Hay Newman, wired.com·· 2 天前AI 評分58
Google DeepMind 以數學方法驗證 Signal 的關鍵部分
Google DeepMind just mathematically verified key parts of Signal
AI 導讀
根據 Ars Technica 報導，Google DeepMind 完成了一項為期四週的專案，以數學方法驗證了 Signal 的關鍵部分。這項工作暗示 AI 可能讓形式化驗證變得更加實用，不過報導並未提供進一步的技術細節。
來源:Ars Technica · AI · arstechnica.com