{
  "schema_version": 1,
  "id": "evt-2025-openai-imo-gold",
  "slug": "openai-imo-2025-gold-level",
  "title": {
    "en": "OpenAI reports gold-level performance on IMO 2025 with a general reasoning model",
    "zh-CN": "OpenAI 报告通用推理模型在 IMO 2025 达到金牌水平"
  },
  "dates": {
    "event": "2025-07-19",
    "first_public_claim": "2025-07-19",
    "paper_release": null,
    "artifact_release": null,
    "independently_verified": "2025-07-21",
    "added_to_chronicle": "2026-09-10",
    "last_updated": "2026-09-10"
  },
  "event_types": [
    "competition",
    "proof",
    "system"
  ],
  "significance": {
    "tier": "H1",
    "rationale": {
      "en": "The result was an early public demonstration that a general-purpose reasoning model could produce natural-language solutions at the IMO gold threshold.",
      "zh-CN": "该结果较早公开展示了通用推理模型能够直接生成达到 IMO 金牌线的自然语言解答。"
    }
  },
  "mathematical_novelty": {
    "type": "benchmark_result"
  },
  "interfaces": [
    "informal"
  ],
  "claim": {
    "en": "OpenAI reported that an experimental reasoning model scored 35/42 on IMO 2025, solving five of six problems in natural language; public proofs were graded by three former IMO medalists.",
    "zh-CN": "OpenAI 报告一个实验性推理模型在 IMO 2025 获得 35/42 分，以自然语言解出六题中的五题；公开证明由三位前 IMO 奖牌获得者评分。"
  },
  "summary": {
    "en": "The model worked from official natural-language problem statements without a proof assistant or internet access during the evaluation.",
    "zh-CN": "该模型直接处理官方自然语言题目，在评测过程中不使用证明助手或互联网。"
  },
  "why_it_matters": {
    "en": "Alongside Gemini's officially coordinated result days later, it marked the transition of general reasoning models into elite Olympiad-level mathematics.",
    "zh-CN": "与数日后 Gemini 经 IMO 协调认证的结果一起，它标志着通用推理模型进入顶尖奥赛数学水平。"
  },
  "ai_role": {
    "level": "ai_primary_human_verified",
    "description": {
      "en": "The model generated complete natural-language proof attempts under contest-style constraints.",
      "zh-CN": "模型在类似竞赛的约束下生成完整自然语言证明。"
    }
  },
  "human_contribution": {
    "description": {
      "en": "OpenAI researchers ran the evaluation and former IMO medalists graded the public solutions.",
      "zh-CN": "OpenAI 研究者组织评测，前 IMO 奖牌获得者对公开解答进行评分。"
    }
  },
  "systems": [
    "openai-experimental-reasoning-model"
  ],
  "organizations": [
    "openai"
  ],
  "people": [],
  "problems": [
    "international-mathematical-olympiad-2025"
  ],
  "methods": [
    "reasoning-model",
    "test-time-compute",
    "natural-language-proof"
  ],
  "verification": {
    "evidence_level": "E2",
    "status": "independently_verified",
    "formal_assurance": "none",
    "history": [
      {
        "date": "2025-07-19",
        "status": "partially_verified",
        "evidence_level": "E2",
        "note": {
          "en": "The Chronicle records this event from the cited primary or official source; the status does not imply independent Chronicle verification.",
          "zh-CN": "Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。"
        }
      },
      {
        "date": "2026-09-10",
        "status": "independently_verified",
        "evidence_level": "E2",
        "note": {
          "en": "Independent reporting corroborated the core event description: OpenAI's separate evaluation used public natural-language solutions graded by three former IMO medalists and produced a reported 35/42 gold-threshold score. The Chronicle preserves the important distinction that this was not the IMO-coordinated grading process used for Google's Gemini result.",
          "zh-CN": "独立报道已经对该事件核心描述形成佐证：OpenAI 的独立评测公开了自然语言解答，由三位前 IMO 奖牌获得者评分，并报告 35/42 的金牌线成绩。Chronicle 同时保留关键区别：这并不是 Google Gemini 所参加的 IMO 协调评分流程。"
        }
      }
    ]
  },
  "sources": [
    {
      "id": "github-openai-imo-2025-proofs",
      "tier": "S1",
      "type": "repository",
      "title": "OpenAI IMO 2025 Proofs",
      "url": "https://github.com/aw31/openai-imo-2025-proofs",
      "primary": true,
      "published_date": null,
      "accessed_at": "2026-09-10"
    },
    {
      "id": "techcrunch-google-openai-imo-2025",
      "tier": "S4",
      "type": "media",
      "title": "OpenAI and Google outdo the mathletes, but not each other",
      "url": "https://techcrunch.com/2025/07/21/openai-and-google-outdo-the-mathletes-but-not-each-other/",
      "primary": false,
      "published_date": "2025-07-21",
      "accessed_at": "2026-09-10"
    }
  ],
  "artifacts": [],
  "relationships": {
    "predecessors": [
      "evt-2024-openai-o1",
      "evt-2024-alphaproof-alphageometry2-imo"
    ],
    "successors": [],
    "related": [
      "evt-2025-gemini-imo-gold"
    ]
  },
  "timeline": {
    "featured": true,
    "significance": "primary"
  },
  "tags": [
    "openai",
    "imo",
    "natural-language-proof",
    "reasoning-model"
  ],
  "editorial": {
    "created_at": "2026-09-10",
    "last_reviewed": "2026-09-11",
    "reviewers": [
      "Charlie-Wang-03"
    ]
  },
  "corrections": []
}