Anthropic 用 Claude 数周内形式化验证 100+ 开源库安全性
burny_tech · x · 2026-10-24
Anthropic 在 Frontier Red Team 博客发布新研究：与 Theorem Labs 合作，用 Claude 在几周内为 100 多个真实开源库证明了安全属性。形式化验证可以证明代码不存在特定类别 bug，但历来只适用于小型代码库或需要大量专家时间；AI 模型正在改变这一点。评论者指出，代码的形式化验证与数学的形式化验证在结构上同构。
所属事件:Anthropic 用 Claude 数周内汇编级形式化验证百余开源库(28 条相关)→
「安全」频道最新
- IEEE Spectrum 专访：无视 AI 意识主张或让模型学会说谎 — repligate · 2026-10-24
- 英国联合 OpenAI、Anthropic、DeepMind 共建 AI 生物安全实验室 — RLanceMartin · 2026-10-24
- 文生图安全审核毫无规律：SFW 提示词反复被拒，擦边图却一次过审 — Nomy33 · 2026-10-24
- Mac 夜里偷偷传数据，Claude Code 六分钟揪出恶意插件 — Arindam_1729 · 2026-10-24
- 评论区激辩:开放权重模型的生物攻击能力2028年不会到来 — teortaxesTex · 2026-10-24
- Kruppa 质疑：大厂该花数十亿美元 token，用 AI 给开源依赖全量打补丁 — AccBalanced · 2026-10-24