事件 · 其他
谷歌
This diagram shows how the AI’s work gets checked.
谷歌的AI智能体编写了约650万行数学证明，用于验证Signal编译后代码的消息保密性。
1 篇报道1 个来源
报道 1
Rohan Paul (@rohanpaul_ai)
同事件
Google DeepMind 称用 AI 验证 Signal 协议底层代码的关键安全性质
Google DeepMind 团队称，AlphaProof Code 借助包括 Gemini Carbon 在内的模型，对 Signal 协议运行在设备上的代码完成形式化验证。人类设定安全目标，AI 生成的证明由 Lean 检查；研究人员还重新植入两个已修复漏洞，系统两次都证明了代码不安全。团队已开放形式化规范和验证材料，其他人可据此检查和继续研究。
另外 1 家也报道了
- Rohan Paul (@rohanpaul_ai)