---
id: "2025-07-21-imo-gold-ai"
url: "https://postcutoff.com/e/2025-07-21-imo-gold-ai/"
as_of: "2026-11-13T13:49:00+01:00"
date: "2025-07-21"
date_precision: day
category: science
importance: 5
confidence: high
status: [Result confirmed]
verification: Expert-checked
sources: 5
editor: human editor
human_review: null
version: "2026-10-04"
---

As of: 2026-11-13 13:49 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2025-07-21-imo-gold-ai/

# AI systems reach gold-medal level at the International Mathematical Olympiad

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

## What happened

Two general-purpose LLM reasoning systems achieved gold-medal scores at the world's top high-school math competition.

## Why it matters

A long-standing AI grand challenge fell years earlier than many forecasters expected, showcasing the power of RL-trained reasoning.

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): in its training data
- Claude Opus 5.5 (training cutoff June 2026): in its training data
- Gemini 4 Hydrogen (training cutoff March 2026): in its training data
- Grok 4.7 (training cutoff May 2026): in its training data

## Sources

1. [Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the IMO (Google DeepMind)](https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/) (deepmind.google, official)
2. [OpenAI announcement on X](https://x.com/OpenAI/status/1946594928945148246) (x.com, official)
3. [Harmonic Aristotle IMO 2025 paper (arXiv 2510.01346)](https://arxiv.org/abs/2510.01346) (arxiv.org, paper)
4. [ByteDance Seed-Prover IMO 2025 result](https://seed.bytedance.com/en/blog/bytedance-seed-prover-achieves-silver-medal-score-in-imo-2025) (seed.bytedance.com, official)
5. [OpenAI Model Earns Gold-Medal Score at International Math Olympiad (Scientific American)](https://www.scientificamerican.com/article/openai-model-earns-gold-medal-score-at-international-math-olympiad-and/) (scientificamerican.com, press)

## Changes

- 2026-09-29: Added science block, Aristotle and Seed-Prover formal results; (science & math tab)
- 2026-09-29 (filed): Created

## Related

- 2025-09-17: [AI reaches gold-medal level at the ICPC World Finals](https://postcutoff.com/e/2025-09-17-icpc-gold-ai/index.md)
- 2024-07-25: [AlphaProof and AlphaGeometry 2 reach IMO silver-medal standard](https://postcutoff.com/e/2024-07-25-alphaproof-imo-silver/index.md)
- People: [Eliezer Yudkowsky](https://postcutoff.com/person/eliezer-yudkowsky/), [Paul Christiano](https://postcutoff.com/person/paul-christiano/)
- Archived: 1 post, listed in https://postcutoff.com/e/2025-07-21-imo-gold-ai/index.json