OpenAI 发布 o3 和 o4-mini：推理模型学会自己调用工具了

Introducing OpenAI o3 and o4-mini

OpenAI 在 4 月 16 日推出了 o3 和 o4-mini 两个新模型。o3 是目前最强的推理模型，在编程、数学和视觉任务上刷新了多项基准，外部专家评估其重大错误比 o1 少了 20%。o4-mini 则主打快速和低成本，在 AIME 2025 数学竞赛中，配合 Python 解释器使用，单次答题正确率达到 99.5%，八次投票后正确率 100...

推荐理由：P1 没问题。OpenAI 这次把推理模型和工具调用绑在一起发布，不是单纯刷榜，而是改了 ChatGPT 的默认行为。o3 减错、o4-mini 接近满分这两组数字有信息量，虽然正文没披露评测设置细节，但已经够让从业者关注。HKR 三项都踩中，我会先打个折——基准测试的对比条件没完全展开，但整体判断站得住。