HitbenchmarksAn AI built before the contest earns a gold medal at the International Mathematical Olympiad by 2025
Hit · resolved by 2025
3 receiptsOpen verificationClose▾
IMO score vs. the gold cutoff (35/42 in 2025)35/42 points at IMO 2025, gold-medal standard (as of 2025-07-21)
Verified blind: DeepSeek V4 + Grok — agree
How it's graded
Met when, at an IMO through 2025, an AI built beforehand scores at or above the gold-medal cutoff under competition conditions
35/42points at IMO 2025, gold-medal standardas of 2025-07-21
A single reading is not yet a trajectory. The figure appears once a second measurement lands.
Table view
| As of | Measured (points at IMO 2025, gold-medal standard) | Receipt |
|---|---|---|
| 2025-07-21 | 35/42 | source |
Receipts · 3
An advanced version of Gemini Deep Think solved five out of the six IMO problems perfectly, earning 35 total points, and achieving gold-medal level performance.
Google DeepMind archived↗ · 2025-07-21
In July 2025, we reached gold medal-level performance on the International Mathematical Olympiad with a general-purpose reasoning model (35/42 points).
So I think we have Paul at <8%, Eliezer at >16% for AI made before the IMO is able to get a gold (under time controls etc. of grand challenge) in one of 2022-2025.
LessWrong — IMO challenge bet with Eliezer (Paul Christiano) archived↗context · not model-verified · 2022-02-25
Ledger history
- 2026-06-24: seeded
- 2026-06-25: demoted pending bulletproof re-grade
- 2026-06-25: The claim targets 2025. Google DeepMind's official blog (source 0) confirms an advanced Gemini Deep Think scored 35/42 at IMO 2025, meeting the gold-medal cutoff. OpenAI's First Proof blog (source 1)
- 2026-06-26: added the Yudkowsky–Christiano bet-odds source (LessWrong, >16% vs <8%) to the receipt; context only — claim, grade, and the 2-model verification binding are unchanged
- 2026-10-24: Verdict 'ahead'/'met' remains correct (target 2025 passed with gold-standard performance). A fresh read of the DeepMind blog confirms the same 35/42 measurement; refreshing the receipt.