LEAD
今天的主线是同一件事的两面：token 在变得更便宜、模型变得更能干，而真正卡住规模化的电力、验证与规则开始同时亮红灯。
INDUSTRY
OpenAI 向全部 ChatGPT 用户推出 GPT-6 与 Intelligent UI
OpenAI 面向全部 ChatGPT 用户开放 GPT-6，并同步引入 Intelligent UI：回答中直接生成图形、按钮、表单、图表和可交互组件。前沿模型第一次以默认形态进入免费/付费全量用户，交互层从纯文本转向可操作界面。
聊天框不再是终点，做工具的人得重排入口。
MODEL
Anthropic 发布 Claude Haiku 5.5，Artificial Analysis 得分 43
Claude Haiku 5.5 在 Artificial Analysis Intelligence Index 得 43 分，比上一代 Haiku 一年提升 26 分，是首个支持 effort 设置与 adaptive thinking 的 Haiku 模型。定价每百万 token 输入 $0.10、输出 $0.50，超过 100k 输入时为 $0.50/$2.50。
小模型一年涨 26 分，日常活可以全下沉到廉价档。
PRODUCT
Anthropic 为 Claude Max 和 Team 套餐推出月度 Platform API 额度
Anthropic 为订阅用户打包 Platform API 额度：Max 5x 为 $100，Max 20x 为 $200，Team 最高 $500 且团队内可共享。额度适用于任何模型，可在自己的代码或第三方 harness 中调用，等于把 API 账单并进订阅。
订阅开始覆盖 API，用量不再随调用量单独计费。
— ✪ —
PRODUCT
Anthropic 将 Claude Sonnet 5.5 缓存读取价格减半至每百万 token $0.10
Anthropic 将 Claude Sonnet 5.5 缓存读取价格从每百万 token $0.20 降至 $0.10，官方称多数长时运行任务整体成本下降约 20%。Cursor 同日公布 Haiku 5.5 定价并同步下调自家缓存读取价格。
降价点押在缓存命中，长会话 agent 才是真受益方。
RESEARCH
Microsoft Research Asia 开源 Agent Lightning v1.0：3,500 行代码的智能体 RL 训练框架
微软亚洲研究院提出 Harnessed Agentic RL 范式并开源重建的 Agent Lightning v1.0：部署时用的同一套 agent harness 直接参与强化学习，无需为了训练在框架内重写一遍 agent，全仓仅 3,500 行代码。
训练部署同一套代码，agent 迭代终于不用重写两遍。
MODEL
NVIDIA Nemotron 系列微调后达到 IOI 2026 与 IMO 2026 金牌水平
NVIDIA Nemotron 团队基于 Nemotron 3，用 SFT、RL 与反馈驱动推理三条不同路线分别构建系统，在 IOI 2026 与 IMO 2026 达到金牌水平，权重与构建配方在 Hugging Face 公开。
竞赛金牌已能微调复现，稀缺的不再是分数而是原创难题。
— ✪ —
RESEARCH
OpenAI 发布内部前沿模型产出的数学研究成果，多数证明已用 Lean 形式化
OpenAI 公开一批由内部前沿模型产出的新数学成果，以 GitHub 仓库形式发布，附论文修订与引用协议；其中许多证明已用 Lean 形式化以便计算机验证，等于把「模型能证」变成可复算的公开记录。
形式化让 AI 数学从可宣称变成可验收，这是信任的分界线。
INDUSTRY
a16z：德州并网队列从 63 GW 涨到 474 GW，九成申请是数据中心
a16z 分析德州电网暂停审批数据中心的原因：并网申请队列从 2024 年底 63 GW 激增至今年 6 月 474 GW，约九成为数据中心，其中大量是开发商的投机性排队，且与社区沟通严重不足。
GPU 到货不等于能开机，真正的瓶颈已经变成电表。
今日精选 8 条 · 数据源 aihot.virxact.com · 由 remio agent 生成 · 2026-10-07