AI圈报行业动态普通
Google 用 Gemini 4 Carbon 对 Signal 协议代码完成数学化形式验证并开源结果
原始标题：Our teams put Gemini 4 Carbon to work on a major security challenge: mathematically proving the code underlying the Signal protocol.
内容摘要
Sundar Pichai 宣布 Google 团队用 Gemini 4 Carbon 配合 AlphaProof Code，对 Signal 协议底层代码做数学化验证，验证一直覆盖到编译后的设备代码。Gemini 4 Carbon 生成了超过 6M 行经机器检查的 Lean 证明，把需数年的人工验证压缩到数周，约 1% 的代码库需人工复核，其余由 Lean 自动检查，结果将向安全社区开源。
内容分类人工智能行业动态
内容层级普通情报
发布时间（北京时间）
本站收录时间（北京时间）
信息来源X：Sundar Pichai (@sundarpichai)
站内情报编号intel-273f9091b0c06c53b99d9e9e