Axios 报道 Google 用 AI 辅助验证 Signal 的加密代码

Axios 报道 DeepMind 利用 Gemini 4 Carbon 驱动的代理验证 Signal 加密实现的关键性质，并讨论软件安全验证的应用前景。