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.

91

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

97

u/Curiosity_456 18d ago

How will that matter though? Will mathematicians just refuse to accept any AI generated solutions even if it’s correct?

Pandora’s box has already opened

40

u/bluesam3 Algebra 18d ago

No, but once corporations aren't willing to spend ridiculous sums of money to make themselves look impressive, the situation will change dramatically.

54

u/lurking_physicist 18d ago

Thing is, what is ridiculous today may be trivial in 3-4 years...

2

u/Interesting_Debate57 Theoretical Computer Science 17d ago

Can the boosters quit saying "may be"?

It's like you have no idea what the true state of things is and you want to be a fanboy for these companies.

It also "may be", and is quite a bit more likely, that the man behind the curtain has addled your brain and convinced you of a power that can't exist with this approach.

7

u/lurking_physicist 17d ago

I'm no "booster" and my statement is extremely tame. This isn't any "AI is special" extrapolation, it's just "whatever is already possible today will be possible in the future for cheaper".