#开源/仓库

Google DeepMind 用 AI 工具 AlphaProof Code 形式化验证 Signal 加密代码

Google DeepMind 研究人员使用 AlphaProof Code 和 Gemini Carbon 模型，对 Signal 加密协议的部分底层代码进行了形式化验证。