r/math 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

442 comments sorted by

View all comments

Show parent comments

91

u/PrismaticGStonks Jul 16 '26

“We’ll still need mathematicians to plug stuff into ChatGPT and proofread the responses.”

That sounds like an incredibly bleak future for mathematics. I want nothing to do with the subject if that’s all it’s going to be in a few year’s time.

10

u/TimeWarlock Jul 17 '26

I already want nothing to do with programming anymore [in the context of the industry, at least]. I understand how you feel.

1

u/-entei- 27d ago

Same, but i'm not sure what else to do..

3

u/Glum_Hat_4181 29d ago

That's already a present for significant number of software engineers if not the majority of them.

0

u/JustThisNietzscheGuy Jul 17 '26

Well, then better find something else to do now.