{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2025-07-21-imo-gold-ai/","md":"https://postcutoff.com/e/2025-07-21-imo-gold-ai/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2025-07-21-imo-gold-ai","date":"2025-07-21","date_precision":"day","short_title":"AI systems reach gold-medal level at the International Mathematical Olympiad","deck":null,"takeaway":null,"category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":[{"n":1,"title":"Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the IMO (Google DeepMind)","url":"https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/","type":"official","group":"primary","domain":"deepmind.google"},{"n":2,"title":"OpenAI announcement on X","url":"https://x.com/OpenAI/status/1946594928945148246","type":"official","group":"primary","domain":"x.com"},{"n":3,"title":"Harmonic Aristotle IMO 2025 paper (arXiv 2510.01346)","url":"https://arxiv.org/abs/2510.01346","type":"paper","group":"primary","domain":"arxiv.org"},{"n":4,"title":"ByteDance Seed-Prover IMO 2025 result","url":"https://seed.bytedance.com/en/blog/bytedance-seed-prover-achieves-silver-medal-score-in-imo-2025","type":"official","group":"primary","domain":"seed.bytedance.com"},{"n":5,"title":"OpenAI Model Earns Gold-Medal Score at International Math Olympiad (Scientific American)","url":"https://www.scientificamerican.com/article/openai-model-earns-gold-medal-score-at-international-math-olympiad-and/","type":"press","group":"press","domain":"scientificamerican.com"}],"official":4,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind","OpenAI"],"title":"AI systems reach gold-medal level at the International Mathematical Olympiad","summary":"At IMO 2025, an advanced Gemini Deep Think model (officially graded) and an experimental OpenAI reasoning model (graded by former medalists) each solved 5 of 6 problems for 35/42 points — gold-medal standard — working end-to-end in natural language within the 4.5-hour time limits.","key_facts":["OpenAI announced its result on 19 July 2025; Google DeepMind on 21 July 2025","Both scored 35/42, solving 5 of 6 problems","Google DeepMind's result was officially certified by IMO coordinators","Natural-language proofs, no formal translation, within competition time limits","Formal provers: Harmonic's Aristotle produced Lean-verified solutions to 5 of 6 problems (gold-equivalent; arXiv 2510.01346); ByteDance Seed-Prover got an IMO-certified 30 points in-contest and later completed P1–P5","One year earlier, AlphaProof reached silver with formal Lean proofs and days of compute"],"key_numbers":[],"tags":["math","reasoning","imo","milestone"],"science":{"field":"mathematics","subfield":"olympiad problem solving","problem":"International Mathematical Olympiad 2025 problems","result":"Gemini Deep Think (officially graded) and an experimental OpenAI reasoning model each solved 5 of 6 problems for 35/42 — gold-medal standard — in natural language within the 4.5-hour limits.","open_since":"","ai_system":["Gemini Deep Think","OpenAI experimental reasoning model"],"human_role":"Autonomous during the exam; no human help or formal translation","verification":{"key":"expert","label":"Expert-checked","text":"Gemini: certified by IMO coordinators; OpenAI: graded by three former IMO medallists (not officially coordinated)"},"status":"confirmed","shock":"In a 2021 public bet Paul Christiano put AI IMO gold by 2025 at under 10% and Eliezer Yudkowsky at about 16%; general-purpose LLMs did it without any formal tools."},"body_md":"## What happened\n\nTwo general-purpose LLM reasoning systems achieved gold-medal scores at the world's top high-school math competition.\n\n## Why it matters\n\nA long-standing AI grand challenge fell years earlier than many forecasters expected, showcasing the power of RL-trained reasoning.","disputed":[],"related":[{"id":"2025-09-17-icpc-gold-ai","url":"https://postcutoff.com/e/2025-09-17-icpc-gold-ai/","date":"2025-09-17","date_precision":"day","short_title":"AI reaches gold-medal level at the ICPC World Finals","deck":null,"takeaway":"Following IMO gold, confirmed elite-human-level algorithmic problem solving by general-purpose reasoning models.","category":"benchmark","category_label":"Benchmarks","importance":4,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI","Google DeepMind"]},{"id":"2024-07-25-alphaproof-imo-silver","url":"https://postcutoff.com/e/2024-07-25-alphaproof-imo-silver/","date":"2024-07-25","date_precision":"day","short_title":"AlphaProof and AlphaGeometry 2 reach IMO silver-medal standard","deck":null,"takeaway":"First AI to reach medal level at the IMO; a year later, natural-language LLMs reached gold.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind"]}],"people":[{"id":"eliezer-yudkowsky","name":"Eliezer Yudkowsky","url":"https://postcutoff.com/person/eliezer-yudkowsky/"},{"id":"paul-christiano","name":"Paul Christiano","url":"https://postcutoff.com/person/paul-christiano/"}],"posts":[{"id":"x-openai-1946594928945148246","title":"“We achieved gold medal-level performance 🥇on the 2025 International Mathematical…”","url":"https://postcutoff.com/p/x-openai-1946594928945148246/"}],"videos":[],"models":[],"changes":[{"date":"2026-09-29","type":"edit","text":"Added science block, Aristotle and Seed-Prover formal results; (science & math tab)"},{"date":"2026-09-29","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":null,"updated":"2026-09-29","human_review":null,"version":{"date":"2026-10-04"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":null,"in_training_data":true},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":null,"in_training_data":true},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":null,"in_training_data":true},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":null,"in_training_data":true}],"short_url":"https://postcutoff.com/s/ai-systems-reach-gold-medal"}