DeepMind 发布 AlphaProof Code:四周形式化验证 Signal 密码代码
TorturedPoet30 · reddit · 2026-11-10
Google DeepMind 发布 AlphaProof Code——一套为软件撰写数学证明的 AI 智能体系统。首个项目即形式化验证 Signal 协议核心密码学代码:由 Gemini Carbon 驱动的智能体生成了超过 600 万行机器校验的 Lean 证明,仅约 1% 的代码被标记需要人工细看。整个过程耗时四周,而传统上专家团队做同样的事需要数年。官方称其为「安全的未来」。
所属事件:DeepMind 用 AlphaProof Code 四周形式化验证 Signal 生产代码(6 条相关)→
「安全」频道最新
- 美国民主党 AI 监管 wish-list：训练许可、AI 部门、高管刑责与 kill switch — mimi10v3 · 2026-11-10
- 开源 Monomem:让 Claude Code 与多 Agent 共享记忆并防投毒 — Mother-Side6477 · 2026-11-10
- ai-credential-guard 开源:用 JEV 决策层拦住 AI 编码工具外泄密钥 — Long_Philosopher3520 · 2026-11-10
- Anthropic 称新模型自动化研发加速能力未达 RSP 阈值,Zvi 质疑时机 — TheZvi · 2026-11-10
- AI 公司开始封杀「Reverse Engineer Anything」：最酷玩法遭围剿 — julian88888888 · 2026-11-10
- 作者弃用域名后惊现“AI 还魂网站”：项目被冒名复制、原住民照片被盗用 — jonippolito · 2026-11-10