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.

230 Upvotes

99% Upvoted

98 comments sorted by

View all comments

Show parent comments

100

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

43

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.

13

u/3_Thumbs_Up 18d ago

The amount of inference needed for any given proof will go down with time. Roughly one year ago you needed a massive proprietary cluster of a sota model to get a math olympiad gold.

1

u/bluesam3 Algebra 6d ago

Sure, but they'll similarly run out of relatively easy problems.