Anthropic 用 Claude 数周内形式化验证百余个开源库的安全性
vivekhaldar · x · 2026-10-23
Anthropic Frontier Red Team 发布新研究:与 theoremlabs 合作,用 Claude 在数周内对 100 多个真实开源库证明了安全属性。形式化验证可以证明代码不存在某类 bug,但历来只适用于小型代码库或需要大量专家时间,AI 模型正在改变这一格局。
一个有趣的细节:Anthropic 所依赖的 Python 语义是由 Brown 大学 Joe Politz 和一门 MOOC 的学生们定义的,文章结尾写道「机器可能再次让人失业」。
所属事件:Anthropic 用 Claude 数周内汇编级形式化验证百余开源库(17 条相关)→
「编程与Agent」频道最新
- 5 人 AI 剧组如何拍出《奥德赛》试播场景，直播拆解全流程 — chaitu · 2026-10-23
- 有人感叹一个提示词搞定全部，从业者：我们每天这样重构好几次 — fkasummer · 2026-10-23
- 研究：LLM 群聊插话 46.4% 时机不当，尚不会察言观色 — windx0303 · 2026-10-23
- 前 Cursor 工程师演示：一个 Grok 组建 20+ 常驻 Agent 团队 — gaganghotra_ · 2026-10-23
- OpenDS-World 发布真实网页深度搜索基准,前沿模型仍显著落后人类 — Xiaomin Yu · 2026-10-23
- 西交大研究:朴素 RAG 在 7 项记忆基准中 6 项击败复杂 Agentic 记忆系统 — XianJiaotongUniversity · 2026-10-23