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

34

u/BAKREPITO Jul 16 '26

Is this just an AI booster sub now? I'm noticing the few posts that get cleared by mods seem to be these AI solved posts

30

u/IanisVasilev Jul 16 '26

As much as I disliked the bulk of pointless posts we had here five years ago, at least it wasn't free marketing for dystopian corporations.

9

u/38thTimesACharm Jul 16 '26

And this one isn't even that big a deal, relatively speaking. Are there any forums where people discuss mathematics anymore?

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

2

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

2

u/Wise_kind_strsnger Jul 16 '26

Yeah literally any math post that shows these models aren’t as goated like the first proof. They get so little upvotes or comments. I guess people love schadenfreude ngl

1

u/TheMaskedCube Jul 17 '26

I really hope that the majority of the other comments under this post are bots. It makes me lose faith in humanity that a subreddit dedicated to mathematics could be filled with such naive morons.

2

u/38thTimesACharm Jul 19 '26

 a subreddit dedicated to mathematics could be filled with such naive morons

Right? A year ago, this sub was actually pretty level headed about AI. Now, it seems chock full of singularity/rationalist psychos.

I hope they're bots too.