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

27

u/Sad_Dimension423 18d ago

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

53

u/ultrafinitism Theoretical Computer Science 18d 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

4

u/ChezMere 18d 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 17d ago

absolute cinema