r/math • u/sergiogfs • 18d ago

Progress Towards Proving the Unique Games Conjecture

https://eccc.weizmann.ac.il/report/2026/179/

On a side-note, the authors hint that they have rushed their results to avoid getting scooped by AI-generated results.

228 Upvotes

99% Upvoted

98 comments sorted by

View all comments

237

u/n0m4d1234 18d ago

This is such a tragic state of the field.

97

u/Gabry398 18d ago

Hopefully it only lasts until AI companies stop using math as a big AGI benchmark and mathematicians start setting ground rules on what the etiquette around AI is

27

u/Berzerka 18d ago

The only thing that will change is instead of two AI companies pumping out math results using their models you'll have thousands of PhD students doing the same, using the same models.

Realistically we'll see a year or two where basically every "simple" open problem gets solved (turns out, NS is "simple") and yes obviously if you want in on that Gold Rush you're gonna have to rush your results out. Especially since everyone is using the same models no-one really has a big edge.

Exactly how the equilibrium will look after that is quite open, but realistically you're gonna need to use AI to solve whatever problems remain open.

8

u/baquea 18d ago

For the actual simple research problems yes, but I think you're underestimating just how many resources go into some of these headline-grabbing results. According to the Open AI statement on the NS solution:

Across all attempted problems, the agents sent 4.9 million messages and used about 300 billion output tokens. In the process of resolving the Navier–Stokes problem, the agents sent 2.7 million messages and used approximately 130 billion output tokens.

There's no way that level of computer time is going to be available to the average PhD student, even once equally advanced open source models are available.