模型原理与推理

o1-preview 首发复盘:推理时计算、接口缺口与任务路由

以 2024 年 9 月 12 日至 14 日的一手资料为边界,区分 o1 研究模型与 o1-preview、o1-mini 的实际上线范围,并给出推理模型的评测、路由和商业验收方法。

发布:2024/09/14更新:2024/10/02
业务请求按难度和可验证性分流到常规模型或 o1 推理模型,再经过外部验证器决定交付或转人工
图 1:本站依据 OpenAI 2024-09-12 发布页重绘;它说明推理预算的任务路由,不代表本站复现了 o1-preview 的性能或延迟。

时间与证据

本文研究的是 OpenAI 在 2024 年 9 月 12 日把 o1-preview 与 o1-mini 作为推理模型预览加入 ChatGPT 和 API 的事件,信息截止到 9 月 14 日。文章发布日期与更新日期见页首。

同期来源分成两组。Introducing OpenAI o1-preview 负责证明产品名称、用户范围、消息与 API 限制;Learning to reason with LLMs 负责说明 OpenAI 对推理训练和研究模型的披露。两张官方网页都会更新,因此分别配对到 9 月 12 日和 14 日的 id_ archive 快照。

这里必须特别处理 Benchmark 归因。发布材料同时讨论已上线的 o1-previewo1-mini 与仍在开发的 o1 研究模型,部分数学、代码和科学图表并非全部对应用户当天可以调用的 preview。本文只把它们写成 OpenAI 对 o1 系列或研究模型的报告,不把高分静默归因给已上线的 o1-preview。

本文证据等级是 sourced。我核验了首发页面及同期快照,但没有在 2024 环境下调用模型,也没有获得同样题集、随机性、scaffold 和评分器。因此本文没有本站 o1 正确率、token 消耗或延迟数据。

当时发生了什么

推理时计算成为显式产品变量

传统聊天模型通常强调参数规模、训练数据和一次前向生成。o1 的产品信号是:模型在给最终答案前投入更多生成步骤进行推理,OpenAI 表示通过大规模强化学习训练模型使用 chain of thought,并报告性能会随训练阶段和推理时思考时间增加而改善。外部开发者无法仅凭公告检查内部训练过程;能观察的工程事实是复杂任务可能获得更好答案,同时输出等待、token 与费用会增加。

这不是“让 prompt 写一句一步一步思考”的同义词。Prompt 是输入策略;推理模型则把训练方法与推理预算组合成产品能力。另一方面,模型内部推理也不是可信审计日志。即使界面展示摘要,最终系统仍要通过测试、计算器、规则、数据库或人工验证答案,不能因为模型“想得更久”就默认它正确。

首发是受限预览,不是通用替换

发布页明确列出首发可用性:ChatGPT Plus 和 Team 用户可以从模型选择器使用,周限额分别是 o1-preview 30 条、o1-mini 50 条;API 只向 usage tier 5 开放,速率限制为 20 RPM。o1-mini 被描述为更快、更便宜、偏代码推理的小模型,OpenAI 报告其相对 o1-preview 便宜 80%。这些都是 2024 年 9 月的产品条件,不是今天价格或配额。

更关键的是接口缺口:首发 API 没有 function calling、streaming、system message 支持和其他常用能力;浏览、文件与图像上传也被写成后续计划。一个已经依赖 system prompt、工具调用和流式体验的生产 Agent,不能只替换 model name 就迁移。o1-preview 更适合先进入离线分析、人工工作台或有兼容层的单步任务。

“难题更强”需要任务级定义

OpenAI 把科学、编程、数学列为受益方向,并报告研究模型在竞赛和考试上取得显著提升。但企业任务不是一个统一难度标签。财务对账可能计算复杂但规则明确;客服可能语言简单却包含实时业务状态;代码修复既要推理又要访问仓库、运行测试和处理依赖。

因此模型选型必须把“难”拆成可观察变量:输入长度、约束数量、是否多步、是否可自动验证、错误损失、是否依赖工具、时间预算。推理模型最合适的起点通常是高难、低频、结果可验证的任务,而不是高频开放式聊天。

任务判断

假设一家 SaaS 公司每天收到 300 个复杂计费配置变更。每个请求包含套餐、折扣、地区税率、合同例外与生效日期;工程师需要检查配置、生成迁移 SQL 和回归测试。团队想让 o1-preview 自动完成。

在 2024 年 9 月首发条件下,直接上线存在两个硬问题:一是所需 tier 与 20 RPM 是否满足批量和峰值;二是 API 没有 function calling、streaming 和 system message,原有工具编排不能原样迁移。更合理的首个任务是让模型离线生成候选变更说明、SQL 草稿和测试用例,然后由静态规则、测试数据库和人工审批验证。

评测集应从历史工单抽样并去标识化,至少包含:正常变更、互斥折扣、跨月边界、税率缺失、旧版本冲突、无权限租户和刻意不完整请求。每个样本保存期望状态,而不只保存一段参考文本。对比基线至少包括当前规则系统、GPT-4o 类常规模型和 o1-mini/o1-preview 候选;提示、上下文和验证器保持一致。

核心指标可以定义为:

单位合格任务成本
=(模型费用 + 重试费用 + 验证计算 + 人工复核分钟 × 人工单价)
  / 通过全部业务断言的任务数

同时记录首次通过率、最终通过率、P50/P95 延迟、无效格式、不可执行 SQL、越权变更、人工修改分钟和拒答。只看“答案更聪明”无法支持采购决策。

路由而不是全量替换

请求先由确定性规则检查字段完整性和权限,再用便宜基线处理常规任务。只有同时满足“基线置信不足或测试失败”“业务价值足以支付额外等待”“存在外部验证器”时,才进入推理模型。推理结果仍要通过 SQL dry-run、单元测试、金额守恒和版本冲突检查;验证失败时有限重试或转人工。

这个路由把推理预算当作数据库索引或计算队列一样管理。它避免简单任务为长推理付费,也避免不可验证的高风险任务因模型表达自信而直接写入生产。

工程影响

API 兼容层必须显式存在

首发缺少 system message 时,不能假设原安全策略仍然生效;缺少 function calling 时,不能让模型自行输出一段 JSON 就视为可靠工具调用;缺少 streaming 时,长等待需要任务队列、超时、取消和进度 UI。兼容层要把不同模型支持的角色、输入、流式、工具、最大输出和错误语义做成 capability matrix,在路由前检查。

对于异步任务,请求要有幂等 key、超时、重试上限和状态机。若客户端超时但上游可能已完成,不能盲目重复有副作用的动作。模型输出与真正写入必须分离:模型只生成候选计划,业务服务使用当前权限和 expected version 执行。

评测归因要固定模型与 scaffold

同一个“o1”名称可能指研究模型、preview、mini 或后续版本;同一 Benchmark 还受到 prompt、采样次数、工具、检索、代码执行与评分器影响。评测记录必须固定模型 ID、日期、请求参数、题集 hash、scaffold、重试策略和失败样本。厂商图表只能作为候选发现,不能替代自有任务的 A/B。

特别是代码任务,生成 patch 与解决 issue 不是同一指标。后者还要选择文件、理解测试、安装依赖并在隔离环境运行。若业务系统只测最终文本相似度,会奖励解释流畅而不是变更正确。

可观测性不应记录原始敏感推理

系统需要记录输入类别、模型版本、token、延迟、验证结果和转人工原因,但不应默认把客户数据或模型内部推理全文写入日志。审计目标是重现业务决定:谁请求、使用什么证据、哪个验证器通过、最终状态是否改变。模型的自然语言思考不是权限证明。

商业价值

可能为推理模型付费的是难题比例明确、单次正确价值较高、结果可以验证的团队,例如代码修复、复杂配置、科研辅助和数据分析。它增强的是高级工程师的候选生成、检查与排错流程,不是把所有低价客服消息换成更昂贵模型。

成本来自推理 token、等待造成的用户流失、队列与重试、验证器、人工复核和接口集成。收益可能来自提高首次正确率、减少高级人员分析分钟或完成过去不可自动化的任务。只有增量收益大于增量成本和错误损失时,路由成立。

建议进行 60 天影子试点:前 30 天只在历史任务上比较;后 30 天对实时请求生成候选但不写生产。若 o1 路径相对基线的最终通过率提升不足 10 个百分点、每个合格任务成本超过人工节省、P95 超过业务等待阈值、任一越权候选绕过验证器,或超过 30% 请求仍需大量人工重写,就不扩大流量。这些数字是项目预先约定的可证伪门槛,不是本文实验结果。

不应采用的场景包括:答案无法验证、单次错误能直接造成不可逆财务损失、任务非常简单高频、用户要求亚秒交互,或现有接口严重依赖首发缺失的工具和流式能力。此时规则、常规模型或人工审批更合适。

局限与风险

第一,本文没有复现任何 o1 Benchmark,也没有把研究模型成绩归给 o1-preview。第二,推理时间更长不保证事实正确;模型可能在错误前提上形成更完整的论证。

第三,preview 的配额、价格、模型行为和接口会变化,生产系统必须固定实际模型标识并准备回退。第四,长输出与隐藏推理增加成本不可预测性,需要预算、超时与最大重试。第五,若把模型生成的计划直接连接数据库或支付工具,接口层的权限与幂等缺失会把推理错误升级为真实副作用。

第六,复杂任务评测容易数据泄漏或选择性汇报。必须保留未通过样本和基线,不只展示最漂亮的几个案例。人类偏好也不能替代业务正确性;流畅答案可能更容易获得高主观评分,却仍然产生错误配置。

面试表达

30 秒结论: o1-preview 的变革是把推理时计算带入产品,但 2024 年 9 月首发仍是受限预览:API 仅 Tier 5、20 RPM,并缺 function calling、streaming 和 system message。它不能全量替换常规模型,更合理的是对高难、低频、可验证任务进行路由,并用测试或业务规则确认最终结果。

3 分钟展开: 我会先区分研究 o1 的厂商 Benchmark 与实际可调用的 o1-preview/o1-mini,避免模型归因错误。工程上建立 capability matrix 和异步状态机,常规模型跑基线,推理模型只处理基线失败且价值足够的任务。指标不是回答好不好看,而是最终测试通过率、P95、人工修改分钟和单位合格任务成本;任何写操作都由权限服务执行,不让自然语言推理成为授权。

如果追问“chain of thought 能否用于审计”,答案是否定的。审计需要可检查的输入来源、工具调用、验证器和最终状态;模型内部推理即使被展示,也可能不完整或不忠实,不能替代业务证据。

复盘

站在 2026 年回看,o1 首发最持久的工程影响是把“模型选择”扩展为“推理预算分配”。同一系统可以让简单任务快速返回,让复杂任务获得更多计算,再让外部验证器决定是否交付。模型越会推理,系统越需要清楚什么能被验证。

当时容易犯的错误是追逐单个竞赛分数,忽略实际 preview 的接口和配额。一个模型在数学题上提升,并不自动解决企业身份、工具、状态和延迟。产品能力必须按可访问接口验收,而不是按发布会叙事验收。

下一步应建设一个固定的复杂配置任务集,分别运行常规模型、较小推理模型和高预算推理模型,公开 token、延迟、通过率与失败类型。在相同条件下取得结果后,才能把本文相关结论升级为 reproduced

方法披露

本文使用 AI 工具协助对照两组 OpenAI 页面、梳理接口限制和绘制路由图;日期、archive、研究模型与 preview 的归因、最终论述由作者核验。本文没有调用 o1,任何数值均明确标为首发产品条件、官方报告或未来试点阈值。

修订记录

  • 2024-09-14:初版发布;固定 2024-09-12 至 09-14 的产品与研究页面,明确 o1 研究模型、o1-preview、o1-mini 的归因差异,并补充接口兼容、外部验证与可证伪路由条件。

Source ledger

来源账本

以下来源用于核对事实、日期与当时可用范围。厂商自报性能不视为本站独立复现。

  1. Introducing OpenAI o1-preview
    OpenAI官方一手来源同期证据来源发布:2024/09/12本站核验:2024/10/02
  2. OpenAI o1-preview announcement T+2 snapshot
    OpenAI (Internet Archive)历史页面存档同期证据来源发布:2024/09/14本站核验:2024/10/02
  3. Learning to reason with LLMs
    OpenAI官方一手来源同期证据来源发布:2024/09/12本站核验:2024/10/02
  4. Learning to reason with LLMs release-day snapshot
    OpenAI (Internet Archive)历史页面存档同期证据来源发布:2024/09/12本站核验:2024/10/02

讨论

正在加载评论...