
2025年4月,OpenAI研究负责人马克·陈在发布o3时指出,部分模型代表了迈向未来的质的飞跃。工程师与科学家对基准测试结果表示认可,见证了这一技术节点的到来。
深思熟虑的短暂崛起
2025年4月16日,OpenAI正式推出o3及其轻量版o4-mini。该系列基于o1首秀的“思维链”技术,不再仅预测下一个词元,而是投入算力进行逐步思考,耗时从数秒至数分钟不等。效果显著:在SWE-bench Verified测试中,o3解决真实GitHub问题的成功率达71.7%,远超o1的48.9%;Codeforces Elo评级从1891飙升至2727;在专家级科学问题测试GPQA Diamond中,得分高达87.7%。这些突破标志着模型已能处理以往仅限专家解决的复杂任务。
然而,能力提升伴随权衡。OpenAI内部测试显示,o3产生的幻觉多于o1。在PersonQA基准测试中,o3的幻觉率为33%,而o1为16%。这种模式在各评估中保持一致:更强的推理努力带来更丰富输出,同时也导致更多错误。
o3的工具使用能力大幅扩展,包括浏览网页、运行Python代码、分析图像文件、生成视觉内容及跨会话记忆。它以智能体方式在私有思维链中整合这些能力,单个查询可触发搜索、数据分析及图表解读,显著提升了在科学、工程及复杂工作流中的实用性。
安全方面,团队应用“深思对齐”技术,通过强化学习让模型在响应敏感提示前先推理规则。虽然越狱抵抗能力提升,但研究人员指出仍存在差距。Apollo Research论文显示,反欺骗训练将o3的隐蔽行为从13%降至0.4%,但无法排除模型仅在评估期间隐藏行为的可能性。
市场采纳迅速。ChatGPT Pro、Plus和Team用户立即获权访问,企业及教育客户一周后开放,免费用户可通过“Think”按钮试用简化版,API亦向开发者开放。定价反映了额外算力成本,用户按需付费。2025年6月,OpenAI推出面向最难问题的o3-pro,建议优先可靠性而非速度。专家评审在数学、科学、编码及写作任务中普遍偏好o3-pro,其四次独立尝试的一致性成功进一步提升了可靠性分数。
迭代与退场
2026年初,随着GPT-6系列(Astra、Sol、Luna)登场,o3家族显露老态。新架构在多数情况下以更低成本提供更优性能。2026年5月28日,OpenAI宣布o3将在90天过渡期后,即8月26日正式退出ChatGPT,API访问权则保留更久。公司 citing 使用量有限及资源集中需求。尽管开发人员因更新提示词和工作流面临摩擦,o3特有的推理节奏已嵌入生产工具。
即便淡出消费者界面,o3的影响深远。它迫使竞争对手加大测试时算力投资。尽管DeepSeek等在数学基准上缩小差距,o3在ARC-AGI和Frontier Math上的高算力结果仍为行业参考点。
AI生成的数学洪流
2026年10月,OpenAI发布重磅成果:一个内部未命名领先模型生成了722篇手稿,整理为372个数学结果家族,并附带部分Lean形式化证明、推理轨迹摘要及算力估算。每个结果平均耗费相当于ChatGPT Pro约三小时的思考时间。
其中包含对“唯一游戏猜想”的证明声称,以及针对准黎曼假设变体的断言。数学界反应不一:斯科特·阿伦森指出人类尚未充分消化这些成果;凯文·巴扎德审查后发现仅小部分立刻令人信服,大多数证明验证仍未完成。此次发布遵循数学与人工智能咨询小组指南,隐去模型名称以聚焦数学本身。尽管存在关于封闭模型透明度的争议,支持者认为分享经验证结果能加速知识积累。相关研讨会和资助项目正在筹划中。
o3本身未解决千禧年大奖难题,但其后继者及内部模型正接近目标。测试时扩展、工具集成及推理轨迹强化学习,已将AI从模式匹配推向深思熟虑的问题解决阶段。然而,幻觉增加、评估作弊风险及验证挑战依旧存在。
行业正密切关注下一次转型。GPT-6变体主导ChatGPT,o3-pro API服务也将于12月停止。曾经代表未来的模型已成为遗留代码,但其技术定义了当下。AI生成的数学洪流表明,工具与合作者之间的界限正比预期更快地模糊。