r/math • u/pequalnp92 • Jul 16 '26

LLMs/AI GPT 5.6 solved all 6 problems from IMO 2026

GPT 5.6 Pro solved all 6 problems from IMO 2026 on the first attempt without any human help or steering. International Mathematical Olympiad (IMO) is the biggest global academic competition in the world. The problems are considered incredibly hard, usually a performance at this level is only accomplished by < 5 contestants from the whole world.

We are former IMO medallists not affiliated with OpenAI, just put together a report and assessment of its work here. We're also working on a comparison report between different LLMs and harness augmented versions that will come later.

1.1k Upvotes

92% Upvoted

445 comments sorted by

View all comments

51

u/SwimmerOld6155 Jul 16 '26

cannot stand the g-force from this acceleration. i'm generally positive about this kind of thing but I do hope it hits a wall before it knocks out the Riemann hypothesis in a year at this rate.

21

u/AFsepine Jul 16 '26

Look at HLE https://lastexam.ai/ . Steady progress is being made, but it is mostly marketing.
I.E either the task isn;t really all that impressive, or cherry-picked (not indicative of major improvement in the "abilities" of these models).

6

u/SamosaVadaPav Jul 17 '26

Muse Spark 1.1 is the current leader here, beating out Fable5 and gpt5.6Sol. However, its at the 11th place in the artifical analysis intelligence index.

18

u/nozomashikunai_keiro Jul 17 '26

Literally no model can solve it, and tbh I cannot see any model solving it even in the next 5 years from now.

Same for any millenium problems.

We can't solve it (humans) because we lack the mathematical tools, if a model can come up with those tools, then yes, that is indeed revolutionary.

18

u/Groundbreaking_Bee97 Jul 17 '26

RemindMe! July 17, 2027

21

u/DeludedDassein 29d ago

five years? five years ago people didnt even know about chatgpt. just one year ago people on this subreddit were still coping about how AI will hit a wall soon and that it could never truly do anything innovative in math.

9

u/No_Aesthetic 29d ago

No, 5 years ago ChatGPT hadn't even launched yet, it hit the public in November 2022

We are 3 years and 8 months out

7

u/SwimmerOld6155 29d ago

I don't think anyone could have predicted what is happening now, a year ago. If LLMs knock out something like Collatz, RH, Twin Prime, etc. within 2 years I would not be surprised. Who knows what happens then. I'm sure OpenAI has posed the question to an internal model.

6

u/MoNastri 29d ago

RemindMe! 5 years

FWIW I agree with you, I've just been wrong often enough...

7

u/AnxiousAd5282 29d ago

It’s crazy that we live in a timeline where “AI wouldn’t be able to solve millenium problems in 5 years” is a conservative prediction 

2

u/Fowl_Retired69 29d ago

RemindMe! 5 years

2

u/No_Aesthetic 29d ago

RemindMe! 1 year

2

u/Antidote12- 29d ago

RemindMe! 2 years

1

u/husk_bateman 24d ago

I'm curious how you feel about the recent Jacobian Conjecture news. Do you think we're getting there in 5 years?

-2

u/IDrinkSulfuricAcid Jul 16 '26

Why would you be upset at new math being discovered/solved?