41,554 blogs · 5,063,431 posts Claim your blog

Record · corpus.blog/posts/01a08c64-c3f6-72c3-8b1b-7a87b891561b

AI at IMO 2025: a round-up

Xena | Mathematicians learning Lean by doing. · published 3 August 2025

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

Read the post at xenaproject.wordpress.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 16
Words captured: 2,967

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.imo-official.org/year_individual_r.aspx?year=2025

imo-official.org

https://www.imo-official.org/problems.aspx

imo-official.org

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

deepmind.google

https://www.reddit.com/r/math/comments/1m6sooc/a_brief_perspective_from_an_imo_coordinator/

reddit.com

https://matharena.ai/

matharena.ai

https://matharena.ai/imo/

matharena.ai

https://imo2025.au/news/the-66th-international-mathematical-olympiad-draws-to-a-close-today/

imo2025.au

https://imo2025.au/

imo2025.au

https://x.com/alexwei_/status/1946477742855532918

x.com

https://github.com/aw31/openai-imo-2025-proofs/

github.com

https://deepmind.google/discover/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/

deepmind.google

https://on.ft.com/4i6C8Gc

on.ft.com

https://x.com/HarmonicMath/status/1947023450578763991

x.com

https://www.reuters.com/world/asia-pacific/google-clinches-milestone-gold-global-math-competition-while-openai-also-claims-2025-07-22/

reuters.com

https://mp.weixin.qq.com/s/MWo8dIg4bqQXzB_W9UZ7Ow

mp.weixin.qq.com

https://x.com/HarmonicMath/status/1949951004482441362

x.com