主要证据
- OpenAI IMO 2025 ProofsS1 · 主要研究来源 · 代码仓库
OpenAI 报告通用推理模型在 IMO 2025 达到金牌水平
该模型直接处理官方自然语言题目，在评测过程中不使用证明助手或互联网。
发生了什么？
OpenAI 报告一个实验性推理模型在 IMO 2025 获得 35/42 分，以自然语言解出六题中的五题；公开证明由三位前 IMO 奖牌获得者评分。
为什么重要？
与数日后 Gemini 经 IMO 协调认证的结果一起，它标志着通用推理模型进入顶尖奥赛数学水平。
重要性说明：该结果较早公开展示了通用推理模型能够直接生成达到 IMO 金牌线的自然语言解答。
历史脉络
证据与状态一览
- 重要性
- H1 · 历史里程碑
- 验证状态
- 已有独立佐证
- 证据等级
- E2 · 研究记录
- AI 角色
- AI 主导、人类核验
- 形式保障
- 无形式保障
贡献与验证
- 数学新颖性
- 基准结果
- 接口
- 非形式化
- AI 贡献
- 模型在类似竞赛的约束下生成完整自然语言证明。
- 人类贡献
- OpenAI 研究者组织评测，前 IMO 奖牌获得者对公开解答进行评分。
- 验证状态
- 已有独立佐证 · E2 · 研究记录 · 无形式保障
- 最后审阅
- 2026-09-11
技术细节
- 系统
- openai-experimental-reasoning-model
- 机构
- openai
- 数学问题
- international-mathematical-olympiad-2025
- 方法
- reasoning-model, test-time-compute, natural-language-proof
全部来源与工件
- OpenAI IMO 2025 ProofsS1 · 主要研究来源 · 代码仓库 · 访问于 2026-09-10
- OpenAI and Google outdo the mathletes, but not each otherS4 · 可信二手来源 · 媒体报道 · 访问于 2026-09-10
验证历史
- 2025-07-19 · 部分核验 · E2 · 研究记录
Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。
- 2026-09-10 · 已有独立佐证 · E2 · 研究记录
独立报道已经对该事件核心描述形成佐证：OpenAI 的独立评测公开了自然语言解答，由三位前 IMO 奖牌获得者评分，并报告 35/42 的金牌线成绩。Chronicle 同时保留关键区别：这并不是 Google Gemini 所参加的 IMO 协调评分流程。
更正
当前没有记录的更正。