# Codex 默认提速一半，Beam 开放模型亮相，类型系统开始替人审 agent Date: 2026-10-06 Language: zh Canonical: https://code-echo.pages.dev/2026/10/06/ai-twitter-hots --- # AI Twitter/X 热点 Digest · 2026-10-06（周二） ## 今日要点 1. **Codex「28 天」第一天就交卷**：Tibo 宣布订阅内 GPT-6 Astra 和 GPT-6.1 Sol 的默认速度提升约 50%，覆盖所有用 Sign in with ChatGPT 的产品（OpenCode、Pi、Amp、Devin 等）；同日 OpenAI 宣布在欧盟对 ChatGPT 和 Codex 的文本加水印。 2. **新模型与新标准**：Reflection AI 发布 501B 总参 / 23B 激活的开放模型 Beam（权重本月以 Apache 2.0 发布，尚未放出）；Cognition 给 Devin 上了「Dreaming」夜间记忆整理，并开源了跨 agent 通用的记忆格式 Agent Memory Repo。 3. **约束比提示更可靠**：Guillermo Rauch 开源 gdp-ts，用类型系统强制「先做鉴权再调敏感函数」；poteto 的「管理 agent 就是老派好工程」长帖收藏近 2800；harness 该谁来做、skills 到底有没有用，也吵得很热。 --- ## 1. Codex：默认提速 50%，欧盟文本水印 **要点**：@thsottiaux（ChatGPT / Codex 负责人）发出「28 天，每天一个改进或一次 reset」承诺后的 **Day 1**：订阅内 **GPT-6 Astra 与 GPT-6.1 Sol 的默认速度提升约 50%**，范围是所有通过 Sign in with ChatGPT 接入的产品和合作方（点名 OpenCode、Pi、Amp、Devin），用户无需任何改动，两小时内生效。这条拿下 1.6 万赞、2000 多条回复。同一天 @OpenAI 宣布把内容溯源扩展到文本：**在欧盟未来几周内对 ChatGPT 和 Codex 的合格文本加水印**以符合 EU AI Act，API 客户则可在全球范围对部分模型主动开启。Lenny 也整理了与 Tibo 访谈的要点：model picker 会消失，按「一年后模型好 10 倍」来设计产品。 **为何值得看**：提速直接作用在第三方 harness 上，等于 OpenAI 用订阅把 OpenCode / Pi / Amp 一起拉进自家生态；而 Codex 输出被加水印，对在欧盟用 AI 写代码、写文档的团队是需要提前了解的合规变化。 - Day 1 提速：https://x.com/thsottiaux/status/2107158998495748264 - OpenAI 文本水印：https://x.com/OpenAI/status/2107164650249101695 - Lenny 访谈要点：https://x.com/lennysan/status/2107131339355181240 - 「Dots 会成为和 AI 对话的主要方式」：https://x.com/lennysan/status/2107147127516500056 ![Codex Day 1 提速](/images/twitter-hots/2026-10-06/01-codex-speed.jpg) --- ## 2. Reflection AI Beam：501B / 23B 激活的开放模型 **要点**：@reflection_ai 发布首个模型 **Beam**：总参数 501B、激活 23B，从零端到端训练，主打推理效率和 coding / agentic 任务，定位「推进西方开放前沿」。官方说明目前处于红队测试最后阶段，**完整权重本月以 Apache 2.0 发布**，同时提供 FP8 与 NVFP4 量化版本；现在可以申请早期访问。Ollama 第一时间表示会上架，Graham Neubig 等人转发称赞「好东西值得等待」。 **为何值得看**：这是今天收藏最高的模型发布（1600+ 收藏）。需要注意的是**权重还没放出**，现在能看的只有官方数据，独立评测要等本月开放下载之后。 - 发布帖：https://x.com/reflection_ai/status/2107186849370247235 - 许可与量化说明：https://x.com/reflection_ai/status/2107186860309045540 - Ollama：https://x.com/ollama/status/2107193986482126883 - Graham Neubig：https://x.com/gneubig/status/2107205722832306566 ![Reflection Beam](/images/twitter-hots/2026-10-06/02-reflection-beam.jpg) --- ## 3. Devin：Dreaming 夜间整理记忆 + 开源 Agent Memory Repo **要点**：@cognition 发布 **Memory 与 Dreaming**：Devin 跨会话构建「你喜欢怎么工作」的记忆图谱，夜间自我整理，清掉过时记录并挖出隐含信息。@walden_yan 补充：同时开源记忆格式 **Agent Memory Repo**，支持图关系、带历史版本、底层用 git + markdown，**任何 agent 都能用，不限 Devin**（GitHub 仓库 10 月 4 日创建，MIT 许可，确为新开源）。LangChain 的 Harrison Chase 评价：记忆需要离线清理循环而不只是更好的检索，但推断出的记忆在使用前怎么验证还是开放问题。 **为何值得看**：各家 agent 都在做记忆，Cognition 选择把格式做成开放标准、用 git 存储，这让记忆可审查、可迁移，是值得对照自家方案的设计。 - Cognition 发布：https://x.com/cognition/status/2107165034463867001 - 开源记忆格式：https://x.com/walden_yan/status/2107185315014144357 - Harrison Chase 点评：https://x.com/hwchase17/status/2107206402078851519 - Nader Dabit 演示：https://x.com/dabit3/status/2107255152008949951 ![Devin Dreaming](/images/twitter-hots/2026-10-06/03-devin-dreaming.jpg) --- ## 4. Claude Code / Anthropic：HTML plan skill、3 倍提速拆解、Cowork 上云 **要点**：Claude Code 团队的 @trq212 在征集反馈一个让 **Claude Code 生成更好 HTML 计划**的 skill：用平实语言、附代码片段、主动列出待确认问题并画 mockup，再用 linting 堵住 Claude 常见的失败情况（近 2000 赞、1650 收藏，Boris Cherny 转发）。@theo 出视频拆解 Anthropic 9 月下旬分享的「用 Claude 两周把 claude.ai 提速 3 倍」的方法。另外 @lydiahallie 提醒：**本地 Cowork 任务即将改在云端运行**，但仍能使用你电脑上的文件和工具；Cowork 工程师 Felix 解释，旧版在本机跑 Anthropic 提供的 VM，耗磁盘、耗电、合上电脑就停；新版推理和 VM 都在云端、每个会话独立 sandbox，需要本机文件时由桌面端代为访问，仍只限用户明确加入的文件夹。 **为何值得看**：HTML plan skill 是 Anthropic 内部人在打磨「计划怎么给人看」；Cowork 改为云端执行虽然发了邮件和应用内通知，但不少用户仍觉得意外，在意数据流向的人值得读完 Felix 的说明。 - HTML plan skill：https://x.com/trq212/status/2107192901537329354 - Theo 拆解 3 倍提速：https://x.com/theo/status/2107214088447443351 - Cowork 改为云端执行：https://x.com/lydiahallie/status/2107212104881275316 ![Claude Code HTML plans](/images/twitter-hots/2026-10-06/04-claude-code-html-plans.jpg) --- ## 5. Cursor SDK：运行中 steer + 自定义 system prompt **要点**：@cursor_ai 宣布 **Cursor SDK 的 agent 可以在运行中被引导**：`run.steer()` 会把你的消息插入下一轮；如果子 agent 正在执行，它会转到后台继续跑。另外可以**用自己的 system prompt 替换 Cursor 默认的**，rules、skills 和工具 schema 照常加载，正按账号逐步开放。Cursor 的 @milichab 补充还有后台子 agent 状态汇报等更新。 **为何值得看**：用 Cursor SDK 搭自家 agent 的团队，终于能中途纠偏而不必杀掉重跑，system prompt 也可以完全自定义，SDK 更像一个可嵌入的 harness 了。 - steer 发布：https://x.com/cursor_ai/status/2107141004482793827 - 自定义 system prompt：https://x.com/cursor_ai/status/2107141054071968154 - 更新汇总：https://x.com/milichab/status/2107141590708048091 ![Cursor SDK steer](/images/twitter-hots/2026-10-06/05-cursor-sdk-steer.jpg) --- ## 6. gdp-ts：让类型检查器替你审 agent 写的鉴权 **要点**：Vercel CEO @rauchg 开源 **gdp-ts**（Ghosts of Departed Proofs for TypeScript）：一个库 + linter + AI skill。敏感函数要求调用方提供「证明」，表明已经做过鉴权检查，由 TypeScript 类型检查器在编译期验证。README 用了 Vercel 真实约束做例子：修改 Project 密码需要同时证明拥有某个角色和某项权益。他的论点是：这类模式在 Haskell 里早就有，过去因为人工 review 和语法负担而小众；现在 agent 写的代码多到人审不过来，而 agent 恰恰擅长在硬约束的紧循环里工作。仓库 10 月 4 日创建，MIT 许可，已近 500 star。 **为何值得看**：今天收藏数最高的帖之一（2100+）。「把安全规则编码进类型系统，而不是靠 review」是 agent 时代很实际的防线。 - 发布帖：https://x.com/rauchg/status/2107119811444748555 ![gdp-ts](/images/twitter-hots/2026-10-06/06-gdp-ts.jpg) --- ## 7. Pi：Monday Meditations 讲 Pi Durable，代码库引入 Rust **要点**：@pidotdev 的 Monday Meditations 里，@badlogicgames 和 @mitsuhiko 讲为什么要做 **Pi Durable**：一个围绕小型任务式工作流引擎构建的 harness，让长时间运行、多人协作的 agent 能在任何地方挂起和恢复，以及为什么没选 Temporal 或 Effect.ts。badlogicgames 还推荐了一个社区做的 Pi Durable 讲解视频（1400 收藏），并宣布 **「pi 代码库现在有 Rust 了」**，自嘲等着被极简主义者围攻。@omarsar0 则用 Pi Durable 搭了一个「开源版 OpenAI Dots」个人 agent：每步 checkpoint、记忆和审批都持久化、每个 Space 配一台 Linux 桌面，进程中途被杀也能接着跑。 **为何值得看**：Pi Durable 前几天已经出过一轮热度，今天的增量是作者亲自讲架构取舍，以及第一个完整的个人 agent 实践。 - Monday Meditations：https://x.com/pidotdev/status/2107033061905104941 - 讲解视频推荐：https://x.com/badlogicgames/status/2107025576771072277 - pi 引入 Rust：https://x.com/badlogicgames/status/2107176943846039859 - 用 Pi Durable 做个人 agent：https://x.com/omarsar0/status/2107232293366505651 ![Pi Durable](/images/twitter-hots/2026-10-06/07-pi-durable.jpg) --- ## 8. poteto / pstack：管理 agent 就是好的老派工程 **要点**：@poteto 发长帖称自己关于管理 agent 的一切都学自前辈程序员：**代码库里的约束对人和 agent 都是解放**。大公司早在 agent 之前就要对付「人写的 slop」，靠的是 lint 规则、更聪明的编译器和诊断、高质量测试和可观测性；agent 的到来只是让大公司的问题变成了所有人的问题。这条收藏 2751，比点赞还多。同日 pstack 发布 v0.15.13，新增 `/poteto-help` skill，把他写过的所有指南喂进去，用户不知道该用哪个 skill 时可以直接问。 **为何值得看**：和第 6 条的 gdp-ts 是同一个思路：与其指望 prompt，不如把规则写进工具链。 - 约束长帖：https://x.com/poteto/status/2106916667599278365 - pstack v0.15.13：https://x.com/poteto/status/2107158163145576902 ![poteto constraints](/images/twitter-hots/2026-10-06/08-pstack-constraints.jpg) --- ## 9. Cline：Pareto 26.10 Preview 路由模型 **要点**：@cline 上线 **Pareto 26.10 Preview**：把请求路由到多个前沿和开源模型，对答案打分后返回最好的一个，同时保住 prompt cache、压低成本。官方给出的数字是：在相同 DeepSWE 分数下，每任务 0.24 美元，对比 Fable 的 13.41 美元，**约便宜 56 倍**。 **为何值得看**：路由 + 评分的「元模型」开始以单一模型的形式进入 coding agent。56 倍是官方口径，实际效果还要看真实任务。 - 发布帖：https://x.com/cline/status/2107202446812733546 ![Cline Pareto](/images/twitter-hots/2026-10-06/09-cline-pareto.jpg) --- ## 10. Harness 之争：谁来做 harness，skills 还有没有用 **要点**：@garrytan 认为**实验室自己的 harness 有烧 token 的动机**，所以创业公司的 harness 有真实价值，例如 Grep 能观察 agent 的用法，把反复烧 token 的步骤换成确定性、可测试的代码。@omarsar0 转述论文 SelfSearch：一个 coding agent 在没有任务奖励的情况下反复改写自己的 harness，用 DeepSeek V4 Flash 在 Terminal-Bench 2.1 上做到 82.0%，搜索成本 **4.03 美元**，追平同设置下九个 harness 对比中排第一的 Codex。另一边 @dabit3 泼冷水：**多数 agent skills 帮不上忙，有些还帮倒忙**，用前沿 harness + 模型时，好的 prompting 就够了。 **为何值得看**：一边是「harness 能自我进化、值得深挖」，一边是「别过度定制」，两派都有数据和经验支撑，适合对照自己团队的实际收益。 - Garry Tan：https://x.com/garrytan/status/2107129959550685660 - SelfSearch 论文解读：https://x.com/omarsar0/status/2107123966792052859 - Nader Dabit：https://x.com/dabit3/status/2106948588769091810 ![Harness debate](/images/twitter-hots/2026-10-06/10-harness-debate.jpg)