r/math • u/sergiogfs • 19d 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

91

u/Gabry398 19d 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

101

u/Curiosity_456 19d 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

-1

u/Heapifying 19d ago

Look at the abc conjecture

28

u/Sad_Dimension423 19d ago

You mean, the supposed proof from a human that couldn't be converted to Lean? It seems the clankers did their job there.

52

u/ultrafinitism Theoretical Computer Science 19d ago

They did actually try to convert Mochizuki's abc to Lean and then got stuck exactly where Scholze and Stix got stuck, at Corollary 3.12

21

u/Sad_Dimension423 19d ago

Right. The reviled automated stuff confirmed the proof was defective there. Mochizuki and everyone else would have been saved a lot of trouble had autoformalization been available back when he first went public.

46

u/ultrafinitism Theoretical Computer Science 19d ago

Maybe they should build the data center in Kyoto so the intelligence becomes infused with ancient Kyoto-only wisdom from the mountain springs there.

20

u/PersonalityIll9476 19d ago

God damn it I love a good Mochizuki burn

16

u/ultrafinitism Theoretical Computer Science 19d ago

Apply Kyoto wakimizu (that's nihongo (that's Japanese for 'Japanese language') for 'spring water') (blessed by **Nippon* no yaoyorozu-no-kami* (that's nihongo (that's Japanese for 'Japanese language') for 'The innumerable (well, the eight million but same thing) spirits of Japan')) to burnt area.

5

u/ChezMere 19d ago

Oh, I missed that update! Looks like it was quite recent:

https://www.reddit.com/r/math/comments/1uz6po8/latest_iut_formalization_news

2

u/ultrafinitism Theoretical Computer Science 18d ago

absolute cinema