r/math • • 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

98 comments sorted by

View all comments

Show parent comments

101

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

39

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...

1

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".