OpenAI o4-mini

是什么

o4-mini 是 OpenAI 在 2025 年 4 月 16 日与 o3 一同发布的小型推理模型^[1]。推理模型（reasoning model）指在给出答案之前先花额外计算把问题分步想清楚的模型，而不是像普通文本续写模型那样直接输出第一个看起来合理的回答。o4-mini 是这一家族中体量更小、成本更低的一员，OpenAI 称它针对快速、低成本的推理做了优化^[6]。

规格与价格

通过 API 使用时，o4-mini 的上下文窗口（context window）为 20 万 token，单次最多可输出 10 万 token，知识截止日期为 2024 年 6 月 1 日，输入既可以是文本也可以是图像^[2]。token 是模型读写文本的基本单位，大约相当于一个短词或词的一部分；上下文窗口决定了模型一次能放进多少材料，输出上限则决定一次回答能有多长。价格为每百万输入 token 1.10 美元、每百万输出 token 4.40 美元^[2]。

基准成绩

OpenAI 把 o4-mini 描述为它在 AIME 2024 和 AIME 2025 上成绩最好的被测模型^[6]。AIME 是面向高中生的数学竞赛，其题目常被用来测试模型的多步定量推理能力；pass@1 指模型第一次提交的答案就正确的比例。在可以使用 Python 解释器（即允许它在解题过程中写代码并运行）的条件下，o4-mini 在 AIME 2025 上达到 99.5% 的 pass@1^[6]。在推理过程中调用工具，意味着算术和程序化的验算可以交给解释器完成，而不必全靠模型自己算。

使用定位与评测

OpenAI 把 o4-mini 定位为可以大量调用的模型：它的使用额度显著高于 o3，因此成为面向高并发、高吞吐场景的推理选项^[6]。在专家评测中，它在非 STEM（科学、技术、工程、数学）任务以及数据科学等领域优于 o3-mini^[6]。o3-mini 是同一量级的前一代小型推理模型，这一比较说明的是同尺寸级别内部的推进。

在 ChatGPT 中

在 ChatGPT 里，Plus、Pro 和 Team 用户能在模型选择器中看到 o4-mini 与 o4-mini-high 两个选项，免费用户则可以通过选择「Think」试用 o4-mini^[6]。也就是说，同一个模型以不同档位出现，而推理能力也通过一个单独的入口向免费用户开放。

下线

o4-mini 以这个名字存在的时间不长。OpenAI 的 GPT-5 系统卡（system card）把 gpt-5-thinking-mini 列为它的后继者^[5]；2026 年 2 月 13 日，o4-mini 从 ChatGPT 中下线^[4]。API 版本的 o4-mini 计划于 2026 年 10 月 23 日关停，后继为 GPT-5 mini^[2][3]。先是一个基础型号，再是带 -high 的变体，随后被新的后继家族取代，这是那一时期模型产品线常见的更替方式。