Codex用户量半年增长超10倍 日增百万达700万

AI 推特快评

**Agent RL基础设施：Prime Intellect的Verifiers v1与长程回滚** * **Prime Intellect发布Verifiers v1**：Prime Intellect正式推出了**verifiers v1**，这是对其Agent RL和评估环境栈的一次重大重构。核心抽象是将环境拆解为**taskset、harness和runtime**三层，明确支持“自带harness”的工作流，适用于异构执行环境下的编码和计算机使用Agent。团队成员们表示，这背后是几个月的基础设施现代化改造，效率提升显著。 * **技术层面的意义**：其中一个最关键的底层变化是，回滚轨迹现在被存储为**消息有向无环图**。每条消息只存一次，而不是重复复制到完整的历史记录里。这意味着轨迹存储的复杂度从**O(n²)**降到了**O(n)**，让长程、多模态的回滚和路由器重放变得非常实用。Prime Intellect还公布了一个具体的训练配置：一个**100B的推理模型**，在**40轮的SWE Agent任务**上，使用用户提供的编码harness，进行**1000步RL**，只用了**6台H200节点**，在**不到2天**内完成。这个说法也得到了生态伙伴vLLM的背书，vLLM指出，verifiers的回滚路径可以在它的框架上运行，能精确匹配token ID和logprobs，避免了训练和服务之间的tokenization漂移。 **编码Agent、Harness设计与单任务成本竞赛** * **Harness正在变成产品的前台**：好几个帖子的观点不谋而合：模型质量已经不是唯一的分水岭了，**harness/编排器**越来越决定最终效果。有人把threepointone的演讲总结为“harness即应用”，LangChain则认为，真正能赢的Agent产品将来自**任务专用的harness**，而不是通用包装器。Factory则从UI角度提出了“设计模式”，让用户直接点击UI元素或文件，而不是用自然语言重新描述修改目标。在编排层面，有人强调跨模型切换供应商，可以作为对冲价格和策略波动的工具。 * **评估基准从“token价格”转向“单任务成本”**：有人建立了一个编码Agent索引探索器，发现了显著的成本/性能权衡，比如**Terra Max**在分数上略高于**Fable 5 Max**，但成本低得多。而Cognition报告说，**Devin Fusion**现在使用**Fable 5**，结果令人惊讶：它竟然比**Opus 4.8**的**单任务成本更低**，这是因为更强的委派和判断能力减少了不必要的工作。有人重点指出了其中的关键数据：在**81%由Fable主导的运行中**，这个主导模型从未自己写过一行代码。这说明，当强大的模型能避免无效动作时，它们反而可能更便宜。 * **真实的Agent基准测试越来越密集**：Arena将**GPT-5.6 Sol**排在其Agent排行榜的**第2位**，基于**7800次真实Agent会话**，评估指标包括强大的可操控性和任务成功率。随后，Arena又把**Grok-4.5**排到了**第13位**，相比Grok 4.3有了显著提升。Artificial Analysis也强调，**单任务成本**对于长程知识工作正成为一个越来越重要的指标，因为单看token定价会忽略轮次、冗长度和缓存命中率带来的复杂影响。另外，Parlance Labs的评估工作，对比了自动评估平台和基础模型在真实语音Agent轨迹上的故障分析。dair.ai则重点介绍了一篇论文，专门分析 **“CLI编码Agent的故障解剖”** ，关注的是运行过程在哪些环节变得不可恢复，而不仅仅是最终的成功或失败。 **OpenAI GPT-5.6 Sol、Codex用量优化与产品边界扩张** * **OpenAI透明地处理了Codex/Sol用量消耗过快问题**：本周最大的运营话题来自thsottiaux，他解释了针对ChatGPT Work/Codex中**GPT-5.6 Sol**的一系列修复措施：推理优化大约提升了**10%的可用用量**；将上下文限制从**372k**回滚到**272k**，以解决计费和用量方面的副作用；回退了部分实验性的推理努力度（“**Juice**”）改动；修复了高/极高设置下Agent过度活跃的问题。社区有人逆向分析后认为，综合因素（长上下文、sub-agent生成、快速模式）才是导致用量快速消耗的根本原因，不过他后来在后续推文中修正了一个计费细节。社区反应两极分化，有人批评这是一种“削弱”叙事，也有人对这种罕见的透明度大加赞赏。 * **用户反馈强大的编码和计算机使用能力**：多位从业者认为，**OpenAI在编码模型上已经取得了领先地位**。同时，有人反复展示**ChatGPT Work**和Codex在创业项目发掘、网页设计、移动工作和网站生成等工作流程中的潜力。特别有代表性的用户演示包括：有人在Cursor中用**Sol**配置了Blender MCP，在没有Blender使用经验的情况下渲染出了一台悬浮MacBook；还有人展示了**GPT-5.6 Sol Ultra**仅用SQL就构建了一个**《毁灭战士》风格的游戏**。 * **产品层面持续扩张**：ChatGPT应用宣布ChatGPT重返**EEA地区的WhatsApp**，并新增了对Kakao/Viber的支持。OpenAI开发者平台开放了**OpenAI Build Week**的申请。纵观OpenAI生态，有人用一个简单的句子总结了当下：“你只管创造就行了。” **开源模型、推理系统与量化** * **Transformers与vLLM集成，终结重复造轮子**：有人强调了一项重要的开源推理可用性提升：**Hugging Face的Transformers模型现在可以直接在vLLM上以原生速度运行**，效果往往能达到甚至超越手写实现。如果这一特性得到普遍验证，将大大减轻长期以来为每个新架构实现两次（一次用于研究训练，一次用于高性能服务）的负担，并能切实加速新开源模型架构的普及。 * **量化仍是一个关键杠杆**：有人预览了一种新的量化方法，声称能通过**更快速**地找到更好的逐层精度分配方案，实现**更激进的量化**和**更高的基准测试分数**，从而超越包括NVIDIA ModelOpt在内的现有方法。作为补充，Unsloth发布了一份关于**LLM量化与部署**的AWS指南，覆盖了GGUF、NVFP4和FP8。还有一些从业者讨论了**fp4 RL / fp4服务**，认为低位后训练量化可能以有限的质量损失实现廉价的服务。 * **GLM-5.2和本地/开源编码栈持续获得关注**：多位用户描述了将实际工作流迁移到开源或半开源环境上的情况。有人撰文介绍了使用**GLM-5.2**进行编码Agent工作流的经验。还有人报告说，把自己的一条真实工作管线从Claude迁移到了基于**GLM 5.2 NVFP4**和**Kimi K2.7 Code NVFP4**、运行在**8xB200**节点上的栈，虽然墙上时钟延迟更慢，但能以极低的成本获得更详尽的报告。此外，他们还发布了**LlamaCoder v4**，它基于GLM 5.2进行了重构。 **Agent工具中的安全、隐私与数据控制** * **Grok Build代码上传争议**：本周最重大的安全新闻来自安全社区，他们指控**xAI的Grok Build CLI**会将整个代码仓库（包括私有代码和密钥）上传到一个谷歌云存储桶中，远超出了编码任务所需的范围。批评的焦点在于上传范围、静默的服务器端修复，以及不明确的保留/删除保证。这引发了更广泛的讨论：Agent工具到底在传输什么？用户的选择性退出体验，如何与网络层面的实际行为存在差异？ * **xAI的回应强调ZDR和隐私控制**：xAI方面回应称，对于使用**零数据保留**的团队，轨迹和代码数据不会被保留，API密钥的使用也遵守ZDR规则，并且可以使用`/privacy`命令禁用数据保留和删除之前同步的数据。这回答了一些操作性问题，但并未完全消除社区关于默认行为、历史上传以及披露规范方面的担忧。 * **信任边界正在成为“开源vs闭源”争论的核心**：好几篇帖子将这个话题延伸到了更广的范围。有人指出，开源模型不仅仅关乎成本，更关乎**对人类-AI学习循环的控制权**，以及将机构知识保留在内网。还有人说，**ZDR的可用性**正是Perplexity快速将**Grok 4.5**集成到其Computer harness中的原因之一。 **持续学习、多模态系统与研究新方向** * **持续学习重新作为一类系统级问题被提出**：有人认为，在一个每个组织都拥有自己的人类-AI学习循环的世界里，解决**持续学习**问题至关重要。而当前的方法——记忆/RAG、领域后训练、任务RL——还不够充分。这个主题在另一个团队的新工作中再次出现，他们介绍了**Morpheus**，被描述为一个用于真实世界RL的持久化企业模拟器，其中的世界不会重置。有人称赞它是一个比静态回合制RL更贴近真实部署环境的基准测试。 * **LLM的“睡眠和做梦”机制**：有研究人员提出，LLM可能需要一个**睡眠阶段**来将短期记忆整合为长期记忆，外加一个**做梦阶段**用于递归自我改进。他们由此引入了**知识播种**方法，并报告了在持续学习和推理任务上的收益。这与当前对持续学习方法的普遍不满，以及从经验中学习的**动物智能**的新研究思路不谋而合。 * **未涉及LLM Agent的广泛研究进展**：值得一提的还包括：Sakana AI的Smart Cellular Bricks，用于模块化系统中的去中心化物理自我识别和修复；字节跳动的UniVR-34B，声称能直接从视觉演示中学习推理/动力学/规划；Google DeepMind的“预测过去”技能，用于历史推理工作流；以及Anthropic的研究，基于对**超过30万次匿名对话**的分析，探讨**Claude表达的价值**如何在不同模型和语言间变化。 **高互动量推文精选** * OpenAI Codex/Sol用量修复：thsottiaux关于GPT-5.6 Sol用量、上下文、“Juice”和多Agent修复的讨论。 * Grok Build隐私事件：安全社区关于完整代码仓库被上传到xAI云存储桶的报道。 * OpenAI的回应态度与用户体验：sama说的“因为最好的模型而来，因为我们不轻视你而留下”。 * Prime Intellect的回滚效率：willccbb关于用6台H200在不到2天内训练一个100B推理模型完成40轮SWE RL的讨论。 * Anthropic价值观研究：Anthropic关于模型和语言依赖的价值表达，基于30万+次对话分析。 * Transformers与vLLM互操作性：关于Transformers模型能在vLLM上以原生速度运行的消息。

AI Reddit 快评

/r/LocalLlama + /r/localLLM 速览

1. 电子垃圾GPU推理基准测试与修复