Skip to content
corpus.blogBeta
Sign in Claim your blog
Record · deepmind.google

AI achieves silver-medal standard solving International Mathematical Olympiad problems

Google DeepMind · 25 July 2024 · 8 min read

A post on deepmind.google, published 25 July 2024, is cited by 27 distinct blogs to date (corpus.blog, measured 16 October 2026).

A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.

Read at deepmind.google (opens in a new tab) Wayback capture (opens in a new tab)

27blogs citing

Citing blogs and links by period
Period Blogs Links
All time2732
Last 90 days11
Last 30 days00
Last 7 days00
Figures for this page
First cited26 Jul 2024
Latest citation6 Aug 2026
Words blogs link it with5
Linked with its own title4 of 27 blogs
External links9
Length1,724
New citing blogs a weeksince Jul 2024
New citing blogs a week, since Jul 2024: 117 weeks, peak 3 a week, latest week 0

0 this week (still settling) · peak 3

Show as table
New citing blogs a week, week by week
Week of Value
22 Jul 20243
29 Jul 20240
5 Aug 20242
12 Aug 20240
19 Aug 20240
26 Aug 20240
2 Sept 20240
9 Sept 20240
16 Sept 20240
23 Sept 20240
30 Sept 20241
7 Oct 20240
14 Oct 20240
21 Oct 20240
28 Oct 20241
4 Nov 20240
11 Nov 20242
18 Nov 20240
25 Nov 20240
2 Dec 20240
9 Dec 20240
16 Dec 20242
23 Dec 20241
30 Dec 20240
6 Jan 20251
13 Jan 20250
20 Jan 20250
27 Jan 20251
3 Feb 20250
10 Feb 20250
17 Feb 20250
24 Feb 20250
3 Mar 20250
10 Mar 20251
17 Mar 20250
24 Mar 20251
31 Mar 20250
7 Apr 20250
14 Apr 20250
21 Apr 20250
28 Apr 20251
5 May 20250
12 May 20250
19 May 20251
26 May 20251
2 Jun 20250
9 Jun 20250
16 Jun 20250
23 Jun 20250
30 Jun 20250
7 Jul 20251
14 Jul 20250
21 Jul 20250
28 Jul 20250
4 Aug 20250
11 Aug 20250
18 Aug 20250
25 Aug 20250
1 Sept 20251
8 Sept 20250
15 Sept 20250
22 Sept 20250
29 Sept 20250
6 Oct 20250
13 Oct 20250
20 Oct 20251
27 Oct 20250
3 Nov 20250
10 Nov 20250
17 Nov 20250
24 Nov 20250
1 Dec 20250
8 Dec 20250
15 Dec 20250
22 Dec 20250
29 Dec 20251
5 Jan 20260
12 Jan 20260
19 Jan 20260
26 Jan 20261
2 Feb 20261
9 Feb 20260
16 Feb 20260
23 Feb 20260
2 Mar 20260
9 Mar 20260
16 Mar 20260
23 Mar 20260
30 Mar 20260
6 Apr 20260
13 Apr 20260
20 Apr 20260
27 Apr 20260
4 May 20260
11 May 20260
18 May 20260
25 May 20260
1 Jun 20260
8 Jun 20260
15 Jun 20260
22 Jun 20260
29 Jun 20260
6 Jul 20260
13 Jul 20260
20 Jul 20260
27 Jul 20260
3 Aug 20261
10 Aug 20260
17 Aug 20260
24 Aug 20260
31 Aug 20260
7 Sept 20260
14 Sept 20260
21 Sept 20260
28 Sept 20260 (still settling)
5 Oct 20260 (still settling)
12 Oct 20260 (still settling)

Each blog counts once, in the week of its first citation. 1 blog has no dated post that cites this page: counted in the tally, not here. A blog added to the index recently can bring old first citations in at once.

Who cited it

Beta

Cited by 27 blogs across 4 subjects: technology 16, science 2, life 1, society and politics 1, unclassified 7.

Words blogs link it with

The words blogs link this page with, by how many different blogs use them.

  • alphaproof10 blogs
  • ai achieves silver-medal standard solving international mathematical olympiad problems4 blogs
  • achieved1 blog
  • achieved silver medal standard1 blog
  • alphaproof achieved silver-medal performance at the 2024 international mathematical olympiad1 blog

Cited by 27 blogs in 32 posts

One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.

hitesh.in1 post
AI won't have your next idea

linked as “AlphaProof”

Read at hitesh.in (opens in a new tab)
6 Aug 2026
narendasan.com1 post
The Definition of Good Software Ergonomics Has Changed

linked as “AlphaProof achieved silver-medal performance at the 2024 International Mathematical Olympiad”

Read at narendasan.com (opens in a new tab)
5 Feb 2026
michellepellon.com1 post
The Conflation Problem: Why Financial Criticism Fails as Technology Assessment Read at michellepellon.com (opens in a new tab)
27 Jan 2026
rajeshrs.in1 post
Vidai: Teaching Machines Arithmetic Without Teaching Arithmetic

linked as “AI achieves silver-medal standard solving International Mathematical Olympiad problems”

Read at rajeshrs.in (opens in a new tab)
4 Jan 2026
julian.ac2 posts
AlphaProof Paper

linked as “Lean proofs for the International Mathematical Olympiad 2024”

Read at julian.ac (opens in a new tab)
13 Nov 2025
1 other post
Claude Code and Rust

linked as “my experience from AlphaProof”

Read at julian.ac (opens in a new tab)
3 May 2025
tscholak.github.io1 post
Skills, Composition, and the Coordination Problem

linked as “DeepMind's AlphaProof”

Read at tscholak.github.io (opens in a new tab)
22 Oct 2025
Dan Abramov1 post
A Lean Syntax Primer

linked as “DeepMind”

Read at overreacted.io (opens in a new tab)
2 Sept 2025
rishimehta.xyz2 posts
The 2025 International Mathematical Olympiad

linked as “AlphaProof”

Read at rishimehta.xyz (opens in a new tab)
9 Aug 2025
1 other post
AlphaProof’s Greatest Hits

linked as “AlphaProof”

Read at rishimehta.xyz (opens in a new tab)
17 Nov 2024
Xena | Mathematicians learning Lean by doing.3 posts
AI at IMO 2025: a round-up

linked as “achieved Silver Medal standard”

Read at xenaproject.wordpress.com (opens in a new tab)
3 Aug 2025
2 other posts
Think of a number: an update

linked as “AlphaProof”

Read at xenaproject.wordpress.com (opens in a new tab)
16 Mar 2025
Can AI do maths yet? Thoughts from a mathematician.

linked as “AlphaProof”

Read at xenaproject.wordpress.com (opens in a new tab)
22 Dec 2024
Hugging Face1 post
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models Read at huggingface.co (opens in a new tab)
10 Jul 2025
stephenmalina.com1 post
AI Omens: 2+ Years Later

linked as “achieved”

Read at stephenmalina.com (opens in a new tab)
31 May 2025
natesilver.net1 post
ChatGPT is shockingly bad at poker

linked as “solving the Math Olympiad”

Read at natesilver.net (opens in a new tab)
21 May 2025
harysdalvi.com2 posts
LLMs Do Not Predict the Next Word

linked as “AI achieves silver-medal standard solving International Mathematical Olympiad problems”

Read at harysdalvi.com (opens in a new tab)
31 Mar 2025
1 other post
Can Transformers Solve Everything?

linked as “AlphaProof”

Read at harysdalvi.com (opens in a new tab)
30 Oct 2024
grammarly.com1 post
What Is Artificial General Intelligence (AGI)? Everything You Need to Know

linked as “Google DeepMind recently achieved silver medal–level performance”

Read at grammarly.com (opens in a new tab)
25 Mar 2025
claudio.uk1 post
Unvibe: Generate code that passes Unit-Tests

linked as “AI achieves silver-medal standard solving International Mathematical Olympiad problems”

Read at claudio.uk (opens in a new tab)
13 Mar 2025
unchartedterritories.tomaspueyo.com1 post
The Most Important Time in History Is Now

linked as “nearly got gold”

Read at unchartedterritories.tomaspueyo.com (opens in a new tab)
29 Jan 2025
osmarks.net1 post
Bitter-lesson computer algebra

linked as “AlphaProof”

Read at osmarks.net (opens in a new tab)
9 Jan 2025
zhengdongwang.com1 post
2024 letter

linked as “AlphaProof”

Read at zhengdongwang.com (opens in a new tab)
29 Dec 2024
Quomodocumque | Math, Madison, food, the Orioles, books, my kids.1 post
Three ways to apply AI to mathematics

linked as “AlphaProof”

Read at quomodocumque.wordpress.com (opens in a new tab)
20 Dec 2024
zach's tech blog | Substack1 post
YC is wrong about LLMs for chip design

linked as “AlphaProof”

Read at zach.be (opens in a new tab)
15 Nov 2024
mouha.be1 post
Computer-Checked Proofs for Chaskey

linked as “Google DeepMind reached the silver-medal standard solving International Mathematical Olympiad proble…”

Read at mouha.be (opens in a new tab)
30 Sept 2024
Learn and Burn | Unbox Research1 post
AI is solving international-level math competition problems

linked as “The original DeepMind article”

Read at learnandburn.ai (opens in a new tab)
9 Aug 2024
aiguide.substack.com1 post
On the “ARC-AGI” $1 Million Reasoning Challenge

linked as “AlphaProof”

Read at aiguide.substack.com (opens in a new tab)
6 Aug 2024
mindyourdecisions.com1 post
Google AI can now solve Olympiad problems

linked as “silver-medal level”

Read at mindyourdecisions.com (opens in a new tab)
28 Jul 2024
garymarcus.substack.com1 post
AlphaProof, AlphaGeometry, ChatGPT, and why the future of AI is neurosymbolic

linked as “on progress on the International Math Olympiad”

Read at garymarcus.substack.com (opens in a new tab)
28 Jul 2024

Links from this post

Elsewhere on deepmind.google (6)
https://deepmind.google/discover/blog/exploring-the-beauty-of-pure-mathematics-in-novel-ways/
deepmind.google
https://deepmind.google/discover/blog/discovering-novel-algorithms-with-alphatensor/?utm_source=deepmind.google&utm_medium=referral&utm_campaign=gdm&utm_content=
deepmind.google
https://deepmind.google/discover/blog/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-models/ Who cites this page
deepmind.google
AlphaGeometry: An Olympiad-level AI system for geometry Read at deepmind.google (opens in a new tab)
deepmind.google
https://deepmind.google/discover/blog/alphazero-shedding-new-light-on-chess-shogi-and-go/ Who cites this page
deepmind.google
https://deepmind.google/technologies/gemini/?ref=abacusnoir.com Read at deepmind.google (opens in a new tab)
deepmind.google

Looking for more like this? Find posts and blogs like it
Something wrong here? Report a problem