DeepMind AlphaProof Code 四周验证 Signal 密码学核心代码
The Decoder · rss · 2026-11-12
Google DeepMind 的 AlphaProof Code 用四周时间对 Signal 的密码学核心代码完成了数学验证，而这一过程通常需要数年。
由 Gemini Carbon 驱动的 AI 智能体编写了超过 600 万行证明代码，其中仅有约 1% 需要人工审查。DeepMind 计划将该方法扩展至电网、医疗设备等关键基础设施的安全验证。
「安全」频道最新
- OpenAI 研究：随规模扩大，模型思维链正变得越来越难监控 — xiamengzhou · 2026-11-12
- 纽约 RAISE 法案生效：OpenAI、Anthropic 须注册并 72 小时上报事故 — emmanuelvivier · 2026-11-12
- Gemini 无法只存聊天记录又退出训练，Google 把两者绑成一个开关 — arshdeep · 2026-11-12
- 连法国公共 WiFi 先看警告：盗版下载或被罚 7500 欧元 — michalmalewicz · 2026-11-12
- Dan Robinson 点破 AI 圈矛盾:一边喊对华竞赛一边要放松 GPU 管制 — Puzzleheaded-King584 · 2026-11-12
- iKnow 开源工具可视化 Mac 本地知识图谱，暴露 Apple Intelligence 推断的个人信息 — JeremyCMorgan · 2026-11-12