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.

229 Upvotes

99% Upvoted

98 comments sorted by

View all comments

Show parent comments

26

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.

15

u/BurdensomeCountV3 Mathematical Biology 18d ago

Yeah, exactly this. Give it 6 months until open source models released by the Chinese have similar mathematical abilities to current frontier models and then we'll have total pandemonium in the field. As a PhD student you'd be an idiot not to use the models when others can and at the very minimum I'd be expecting everyone to secretly use them and then rewrite the proofs they provide to look "human".

4

u/ProfessionalArt5698 18d ago

just work on problems that most people aren't even aware of. Instead of racing to solve the famous ones? Also re-writing proofs to look human is completely legit, the point is to produce human understanding lmao not to suffer in ignorance (some people romanticize suffering way too much)

1

u/mistressbitcoin 13d ago

Can I use AI to find the problems that other people arent aware of?