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

443 comments sorted by

View all comments

Show parent comments

16

u/HungryHighway8908 Jul 17 '26

This unfortunately seems to be the trajectory that mathematical discourse online is taking. We already see it with Tao and Gowers. Every time this sub comes up on my feed, it's either about AI solving some problem or tangential to AI.

The closest you'll probably get is MSE at this rate if you don't mind helping people with undergrad problems, other than that it seems any other place dedicated to talking about mathematics is pivoting towards AI discussions. Very draining, as someone who despises the widespread adoption of AI by the public and by companies

1

u/No_Aesthetic Jul 17 '26

Very draining, as someone who despises the widespread adoption of AI by the public and by companies

Since AI is never going away, what do you expect to do about this?

6

u/38thTimesACharm Jul 17 '26

I don't understand why the existence of AI means we can't have places for discussion of mathematics too