标签 > 谷歌DeepMind用AI形式化验证Signal加密

谷歌 DeepMind 在 11 月 10 日发布 AlphaProof Code 多智能体框架，依靠 Gemini Carbon 驱动 AI 完成 libsignal 核心加密