AI Builders Digest 0918：Claude Projects 上线，Opus 5 拿下 OpenAI 漏洞赏金，Agent 自建工具链审计 zkVM

今天的 AI Builders Digest 主线是 项目记忆：Anthropic 连续第二天放大招，Projects 让 Claude 按项目组织记忆与文件，Boris Cherny 的说法是「我不再管理会话了，想法来了就发，Claude 自己拆线」，Thariq 透露这套架构来自 Claude Tag：一个管理记忆的常驻 agent 加按需派生的子 agent。安全侧是两条硬案例：Hacktron AI 用 Claude Opus 5 串联两个漏洞接管 OpenAI 员工账户拿下 6500 美元赏金，Trail of Bits 让 Agent 先花六个月自建审计工具链再审计 zkVM，抓出可伪造 Falcon 签名的高危漏洞。

今日总结

主线：人机协作的基本单位，正在从「会话」迁移到「项目」。

Projects 把工作流的锚点换成记忆。 Cherny 的体验最具说服力（2352 赞）：他不再管理 sessions，想法来了就直接发给 Claude，Claude 拆成 threads，项目记住他的工作方式，他贴出了自己昨天在 Claude Code CLI 的真实 prompts 作证。Cat Wu 的版本（356 赞）是操作层的：批量派任务然后走人，Claude 有所有上下文，随时能给聚合状态更新，长期记忆随使用演化。Thariq 补上架构来源（1041 赞）：Projects 把 Claude Tag 的架构带进 Claude Code，每个项目一个常驻 agent 管理记忆、按任务派生子 agent，还能主动按计划行事。官方账号确认：threads 跑在云端、电脑离线也继续跑，共享记忆能让 Claude 记住发布改到了周五、动计费服务前该先问谁。

用 AI 打 AI 与用 AI 审 AI 同日落地。 Hacktron AI 三人团队在 OpenAI 赏金计划里用 Claude Opus 5 发现并串联两个严重漏洞，接管多个 OpenAI 员工的 ChatGPT 账户，拿下 6500 美元（OpenAI 已修复）。Trail of Bits 的路线更重：审计 Miden zkVM 前，先让 Agent 用六个月从零构建 MASM 的 LSP 服务器、反编译器、静态分析引擎和 Lean VM 执行器模型，再用这套工具审计，抓出可让恶意 prover 伪造 Falcon 签名盗取资金的高危漏洞，静态分析定位 400 多处类型验证缺陷，Lean 产出 95 个机器验证的正确性证明。工具链自建再验证，这是 agent 做安全工程迄今最完整的示范。

规模侧的数字开始失真。 Rauch 透露（508 赞）：Vercel 用了 10 年达到 10 亿次部署，最近 10 个月又加了 14 亿次；他判断明年产出的软件量可能超过计算历史的总和，其中大量是微小的、个人的、甚至一次性的软件。Levie 补上推理侧（79 赞）：agents 已经占多数推理，一两年内将趋向几乎全部，世界上大多数 token 将是 7×24 后台执行的 agent。

家庭是 agent 的下一个界面。 Google Labs 发布新版 CC 家庭 agent：最多 5 名成员共享，早晨一份 Your Day Ahead 简报对齐全家的日程与待办，日历和任务自动同步，在 Google Chat 里把周菜单、学习用品采购这类事务直接委托掉。Nikunj Kothari 的自建版本（nosugarforkids，儿童健康零食目录加推荐）则是个人版的同一件事。

今日关键词： 项目记忆 · 漏洞赏金 · 自建工具链 · 家庭 agent

官方博客

AI Hot：研究团队用 Claude Opus 5 入侵 OpenAI，获 6500 美元漏洞赏金

AI Hot·2026-09-18 22:00 CST·原文链接

Hacktron AI 三人团队在 OpenAI 漏洞赏金计划中，利用 Claude Opus 5 发现并串联两个严重漏洞，接管多个 OpenAI 员工的 ChatGPT 账户，获得 6500 美元奖金。

OpenAI 表示已修复。

前有 Anthropic 报告胡塞组织用 Claude Code 开发导弹软件，今有 Claude Opus 5 攻下 OpenAI 的账户体系：模型的攻防两面都已是现实，区别只在使用者的授权边界。

AI Hot：Trail of Bits 用 Agent 为 Miden zkVM 审计，自建 LSP、反编译器与 Lean 形式化证明

AI Hot·2026-09-18 19:00 CST·原文链接

Trail of Bits 在审计 Miden zkVM 之前，让 Agent 用六个月从零构建了 MASM 的 LSP 服务器、反编译器、静态分析引擎和 Lean VM 执行器模型。

这套自建工具链的产出：发现了可让恶意 prover 伪造 Falcon 签名盗取资金的高危漏洞，静态分析定位 400 多处类型验证缺陷，Lean 工作产出 95 个机器验证的正确性证明，还抓出两个单元测试未捕获的细微 bug。

先造工具再做审计，而不是直接把代码丢给模型，这是「agent 做形式化验证」可复用的方法论。

AI Hot：Justin Cormack 用 35 万行 Rust 复盘 AI Agent 评估，从证据开始

AI Hot·2026-09-18 21:38 CST·原文链接

Tessl 发布 Justin Cormack 的复盘博客：用 AI 构建约 35 万行 Rust 的 S3 兼容对象存储，以此实验为样本讨论如何评估 AI Agent，主张从证据开始而非从基准开始。

继昨天 GitHub 的 83 万行 Rust 迁移之后，又一个十万行级的生产项目复盘进入公共视野，「用大项目实测 agent」正在取代跑分会成为新的评估文化。

X/Twitter 动态

Boris Cherny（Claude Code 负责人）：我不再管理会话了

Boris Cherny（bcherny）·2026-09-18 03:33 CST·原文链接1·原文链接2

Cherny 为 Projects 写下最好的用户证言（2352 赞）：Projects 不仅改变了他与 Claude 的交互，也改变了他写代码的方式。

I stopped managing sessions. I just send thoughts as they come, Claude splits them into threads, and the project remembers how I work.

他贴出昨天在 Claude Code CLI 的真实 prompts 作为截图，并说这已经是他大量编码的场所。另一条宣布（1926 赞）：Projects 正在滚动上线，希望大家试试新体验。

Thibault Sottiaux（OpenAI Codex/ChatGPT）：让 Astra 和 Fable 商定一份完美风格指南

Thibault Sottiaux（thsottiaux）·2026-09-18 01:57 CST·原文链接

Sottiaux 提出一个双模型共识实验（5524 赞）：有没有人试过让 Astra 和 Fable 就一份完美的 styleguide 达成一致，然后用 web MCP 把它托管出来？让两个前沿模型互相审到收敛，把共识沉淀成机器可读的规范，这个思路可以推广到任何标准类工作。

Thariq（Anthropic）：Projects 的架构来自 Claude Tag

Thariq（trq212）·2026-09-18 01:29 CST·原文链接

Thariq 透露 Projects 的技术血统（1041 赞）：它把 Claude Tag 的架构带进 Claude Code，每个项目一个 agent 负责管理记忆，按任务派生子 agent。

You can ask it to be proactive, to do things on a schedule, etc.

可以要求它主动行事、按计划执行任务，比一堆散落的 sessions 体验好得多。常驻主 agent 加按需子 agent，这个结构与 Anthropic 内部用的 Cowork 编排骨架同源。

Cat Wu（Anthropic）：批量派活，Claude 汇报聚合状态

Cat Wu（_catwu）·2026-09-18 01:40 CST·原文链接

Cat Wu 描述新 Projects 的日常（356 赞）：Claude 协调你的所有会话，让她能在更高的抽象层操作：一批任务发出去就走，Claude 掌握所有工作上下文，随时能给出聚合的状态更新，还有随使用不断演化的长期记忆。未来几周滚动上线。

Claude（Anthropic 官方）：threads 在云端跑，项目有共享记忆和文件库

Claude（claudeai）·2026-09-18 01:07 CST·原文链接1·原文链接2·原文链接3

官方三条把 Projects 的机制说清：每个 thread 都向项目的共享记忆写入并从中读取，Claude 因此能记住发布改到了周五、动计费服务前该先问谁（346 赞）；项目的 library 保存你添加的和 Claude 创建的文件；threads 在云端运行，电脑离线也继续工作，暂时还访问不了本地文件与内网工具，本地支持很快到来（244 赞）。存量项目保持原样，将随灰度逐步升级。

Garry Tan（YC CEO）：未来已在这里，只需要选择它并更快扩散

Garry Tan（garrytan）·2026-09-17 23:48 CST·原文链接1·原文链接2·原文链接3

Tan 的三连：未来已经在这里，我们只需要选择它并更快地扩散它（1316 赞）；Memorable 找到了用 embeddings 优化记忆而非堆更多 token 的路径，是一种强大的新记忆做法（477 赞），这与今天 Projects 的共享记忆方向互为印证；还有一条提醒「小心你许的愿」，因此需要对人类对齐而非任何其他目标（140 赞）。

Google Labs：CC 家庭 agent，最多 5 名成员共享

Google Labs（GoogleLabs）·2026-09-18 02:31 CST·原文链接

Google Labs 发布新版 CC（539 赞）：为家庭打造的 agent，目标是少花时间在后勤协调、多花时间在一起。支持最多 5 名成员加入同一个 CC agent；早晨一份共享的 Your Day Ahead 简报邮件对齐全天；共享 Google 日历与任务的自动同步；在 Google Chat 里把周菜单、学习用品清单这类事务直接委托给 CC。家庭是 agent 从个人走向组织之前的关键一站。

Guillermo Rauch（Vercel CEO）：十个月新增 14 亿次部署

Guillermo Rauch（rauchg）·2026-09-18 05:29 CST·原文链接1·原文链接2·原文链接3

Rauch 的规模数字（508 赞）：Vercel 用 10 年达到 10 亿次部署，最近 10 个月又新增 14 亿次；明年产出的软件很可能超过计算历史的总和，其中相当部分是微小的、个人的、甚至一次性的软件：一个带 JavaScript 的 HTML 文件、一份报告、一个定价计算器、一套幻灯片，一直到复杂的应用、agent 和平台。另有两条轻松的：给 agent 加了 𝚟𝚎𝚛𝚌𝚎𝚕 --𝚝𝚞𝚛𝚋𝚘 --𝚙𝚛𝚘𝚍 让它抢修时用最快的构建机（79 赞）；以及一句「Vercel is the Vercel for Java」（182 赞）。

Aaron Levie（Box CEO）：Agents 已占多数推理

Aaron Levie（levie）·2026-09-18 12:10 CST·原文链接

Levie 给出判断（79 赞）：agents 已经构成推理请求的多数，未来一两年将迅速趋向几乎全部推理。

The vast majority of tokens used in the world will be agents.

世界上使用的大多数 token 将是 7×24 小时在后台为我们执行海量任务的 agent：读所有代码变更保障软件安全、在流程内处理所有数据、承担招聘与客户拓展中的大部分研究工作。token 经济的居民结构正在换代。

Nikunj Kothari（FPV Ventures 合伙人）：自建「自动驾驶公司」实验 nosugarforkids

Nikunj Kothari（nikunj）·2026-09-18 06:33 CST·原文链接1·原文链接2

Kothari 折腾自动驾驶公司一年多、试遍产品都不满意（69 赞），干脆自己用 claude in the loop 搭了一个实验：nosugarforkids，只收录健康儿童零食的目录站（居然此前不存在），可聊天获取学校、午餐、零食盒的推荐，按营养成分建了分级清单，还配了完整的 MCP 和 WebMCP 供 agent 直接调用。个人 agent 时代的第一批原住民，已经在给自家孩子搭工具了。

Josh Woodward（Google Gemini）：Gemini Notebook 该装回手机里

Josh Woodward（joshwoodward）·2026-09-18 00:03 CST·原文链接1·原文链接2

Woodward 两条安利（131 赞与 185 赞）：如果还没在手机上用 Gemini Notebook，你正在错过；另一个家庭场景的证言——有家庭的话，我们全家都在用。配合 Google CC 的家庭 agent 发布，Google 这周在把「全家共用的 AI」当成一条正经产品线。

Dan Shipper（Every CEO）：it's happening

Dan Shipper（danshipper）·2026-09-17 22:08 CST·原文链接

Shipper 只留了两个词加配图（437 赞）：it's happening。从他前两天「标签页时代终结」的兴奋延续看，指的大概率是 Claude Projects 这类把工作流整体接管的产品形态。

Amjad Masad（Replit CEO）：这就是我们需要无数数据中心的原因

Amjad Masad（amasad）·2026-09-18 14:07 CST·原文链接

Masad 转发某条算力需求的内容并评论（62 赞）：This is why we need a gazillion data centers（worth it）。与 Levie 的「agents 吃掉所有推理」放在一起读，算力基建的军备竞赛在需求侧有了明确买单方。

数据采集时间：2026-09-18 14:41 CST