Latest
  1. Johns Hopkins Bayview tells 3,182 patients an employee put their health data into a public AI tool
  2. China’s AI compute access expected to double in 2027, with US-designed chips about 65 per cent
  3. UK commits £100m to national AI Biosecurity Lab
  4. Moonshot AI releases Kimi K3.1 Pro with 1-million-token context window
  5. Residents in Newport and Cardiff oppose hyperscale datacentres near homes
  6. Study: Grok 4.7 picked Republicans in 92% of forced midterm answers, GPT-6.1 Sol picked Democrats in 97%
  7. Attackers exploiting the PHP flaws hand the break-in to AI agents, Unit 42 says
  8. Elvis Presley’s rightsholders sue Anthropic over training on 274 songs

Latest / Science and research

ResearchScienceUK USConfirmed

DeepMind’s AlphaProof and AlphaGeometry 2 reach IMO silver-medal standard

See how this story connects

Source: Google DeepMind

Google DeepMind said on 25 July 2024 that AlphaProof and AlphaGeometry 2 solved four of the six problems from the 2024 International Mathematical Olympiad, scoring 28 of 42 points, one point short of the 29-point gold threshold. Timothy Gowers and Joseph Myers graded the proofs. The problems were translated into formal language by hand beforehand, and some took the systems up to three days against the contestants’ two 4.5-hour sessions.

Why it matters

Mathematicians saw an AI system produce formal olympiad proofs that former IMO medallists graded, a year before DeepMind’s Gemini reached an officially graded gold standard in 2025.

When
25 Jul 2024
ID
WTA-N-2024-0026
Who
Google DeepMind; Timothy Gowers, Joseph Myers

Summary by wheresthe.ai, from Google DeepMind. Checked against the source on 9 Oct 2026.

Read the original at Google DeepMind

Source copy: download the page as saved on 18 Oct 2026 (PDF). Also held by the Internet Archive.

Next stop on this Storyline: Led toGemini Deep Think earns officially graded gold-medal score at IMO 2025

Cite this story

WTA-N-2024-0026: “DeepMind’s AlphaProof and AlphaGeometry 2 reach IMO silver-medal standard.” wheresthe.ai, 25 Jul 2024. https://wheresthe.ai/d/deepmind-alphaproof-imo-silver-2024-07/ (source: Google DeepMind).

Spotted an error? Email [email protected].