模型进展01
OpenAI 在 10 月 26 日发布了 GPT-6.1 Terra,把它定位成便宜、快速、适合大量日常任务的模型,价格只有旗舰 GPT-6 Astra 的十分之一:输入每百万 token 1 美元、输出 5 美元,而 Astra 是 10 美元和 50 美元。作者用三项自己造的测试对比两者:SQL 推理、数据校验和故障日志排查,推理强度都设为 high。结果是 Astra 更准,例如 SQL 测试 48/50 对 26/50,数据校验 50 对 45;Terra 更快更便宜,SQL 测试约 0.08 美元、133 秒,Astra 约 1.65 美元、320 秒。作者指出,Terra 会把需要累加的任务交回给用户自己跑查询,还会自信地给出错误计数,使用时需要挑选场景。这些只是单次合成测试结果,文章没有说明正式可用范围等更多信息。
文中可用工具
- GPT-6.1 TerraOpenAI 发布的低价快速模型,用于高量日常任务
- GPT-6 AstraOpenAI 的旗舰模型,价格更高但测试中更准确
- GPT-5 Mini文中用作较弱对照模型,用于校准难题测试
- OpenAI API作者用来运行三项测试的接口
模型进展02
OpenAI 在 9 月 29 日发布了 GPT-6.1 Sol,距离 GPT-6 Sol 发布仅一周。它被定位为 GPT-6 的升级版,同时也是 GPT-6 Astra 更便宜的“近似替代品”。作者通过 OpenAI 的 Responses API 用同一套三项测试对两者进行了对比:CI 故障分诊、故障日志分析和依赖解析器编写。15 次运行中两者全部满分通过,但 GPT-6.1 Sol 总共花费 2.66 美元,而 Astra 为 14.77 美元,前者只需后者约 18% 的成本,并且在两项较长的测试中更快。作者的结论是,在这类工作上,GPT-6.1 Sol 已经够用,没有理由为 Astra 多付钱。
文中可用工具
- GPT-6.1 SolOpenAI 发布的较便宜模型,用于代理式编程、计算机操作和专业工作,成本约为 Astra 的五分之一。
- GPT-6 AstraOpenAI 的高价旗舰模型,价格更高但据称在代理式编程等任务上更强。
- OpenAI Responses API作者调用两个模型进行对比测试的接口。
模型进展03
AI 智能体在做路由、安全检查、排序和升级这类决策时,其实不需要写出文字,却仍把问题发给生成式大模型,等它吐出答案再解析回来,既浪费算力又增加延迟。开发者 Jared Palmer 基于 Qwen 3.5 发布了开源决策模型 Kev,包含 0.8B、4B 和 9B 三个规模,采用只预填充、不逐字生成的方式,一次前向传播就读出选择概率;它只给已有选项打分,不会凭空造出新选项。Kev 最大模型在项目测试中准确率 83.7%,但概率校准可能偏移、微调后通用知识和算术能力下降,这些限制开发者已有说明。
文中可用工具
- Kev基于 Qwen 3.5 的开源决策模型,一次前向传播输出选项概率,不生成文字
- Qwen 3.5Kev 所基于的基础模型
- NoulKev 支持的是/否决策类型
- ChoiceKev 支持的从候选中选择决策类型
- ScoreKev 支持的有序等级评分决策类型
- JevTypeSafe 的 System One 平台中的决策模型,权重和训练数据未公开
- System OneTypeSafe 的决策平台,提供 /v1/systemone 请求和响应格式
推理与部署04
Simonc44/aura-1b · Hybrid neuro-symbolic AI: Llama 3.2 1B + exact math + verified facts — instant CPU-native answers in 807 MB, no GPU. Sealed .aef distribution
Aura-1B 将语言生成、精确数学计算与事实记忆拆分成多个专用模块,而不是让单个小模型包办全部任务。系统以 Llama 3.2 1B Instruct(Q4_K_M,807 MB)为语言核心,配合安全的 AST 数学求值器、TF-IDF+逻辑回归路由器、遗传编程符号专家、DuckDuckGo 联网检索、事实图、PAL 计算、程序化思维(PoT)、逻辑求解器与轻量认知 Agent,在无 GPU 的机器上给出精确且可验证的答案。项目提供 .aef 密封分发格式(含 SHA-256 校验与可选 Ed25519 签名、AES-256-GCM 加密),并支持硬件自动调参。
Agent 与工作流05
TypeSafe AI 发布了一个叫 Jev 的模型,它不是普通的生成式大模型,不会写文字,而是直接对一段状态给出结构化判断和概率,他们称之为“System One”模型。研究者拿 Jev 当 Agent 评估器,和几个大模型评审(GPT-5.6 Luna、Terra、Claude Sonnet 4.6)做对比,想解决现有评估方式的两个痛点:写代码的评估只能应付固定输入,大模型评审则慢、贵、还不太稳定。结果 Jev 在连续打分上一致性高得多,质量分波动比对手低 92 到 913 倍,同时平均每次只要 0.44 秒、0.00035 美元,总花费 0.34 美元,而 Claude 花了 28.17 美元。不过作者强调这只是个小规模早期测试,还不代表它已经能普遍替代现有方案。
文中可用工具
- JevTypeSafe AI 发布的 System One 模型,不生成文字,直接对状态返回结构化判断和概率,可用作 Agent 评估器
- Deep Agents开源 Agent 框架,用来搭建被评估的目标 Agent
- LangSmith把单次 Agent 运行保存为数据集并回放,方便公平比较不同评估器
- GPT-5.6 Luna作为 LLM 评审参与对比(原文未说明其具体用途)
- Terra作为 LLM 评审参与对比(原文未说明其具体用途)
- Claude Sonnet 4.6作为 LLM 评审参与对比(原文未说明其具体用途)
行业动态06
这周最火的几篇文章都指向同一个道理:光有强大的 AI 模型不够,还得有配套的软件框架让它真正好用。Zed 推出了公开测试版 Delta,用共享讨论串取代传统的代码合并请求,让 AI 写的代码更容易审查;Anthropic 把 Claude Chat 和 Cowork 合并成一个界面,用户不用再纠结任务该用哪个模式;OpenRouter 为企业客户推出了美国境内路由,保证数据在美国境内处理。另外,Vercel 的数据显示 AI 推理成本连续三个月下降,8 月每 token 均价降了 23.2%,开源模型的调用量首次超过一半,但闭源模型仍拿走了大部分收入。对普通用户来说,这意味着 AI 编程和对话工具会变得更顺手、更便宜,用起来也更清楚。
文中可用工具
- Zed代码编辑器和协作工具,推出了 Delta 功能用于审查 AI 编写的代码
- DeltaZed 的公开测试功能,用共享讨论串组织代码协作,取代传统的合并请求
- DeltaDB记录代码变更,精确到每次编辑的粒度
- Claude ChatAnthropic 的对话界面,正在与 Cowork 合并为统一界面
- CoworkAnthropic 的协作功能,正在合并进 Claude Chat
- OpenRouter模型路由器,新增美国境内路由功能,为企业客户提供数据处理位置控制
- Vercel AI GatewayAI 网关,提供模型调用和成本统计