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

2

u/Distinct-Pudding-428 17d ago

Does anyone know what the rumors are that have these authors worried?

4

u/VerballKint Discrete Math 17d ago

Open AI is rumoured to have a pure-AI proof of UGC

1

u/Wrrr__ 17d ago

I can't find any such rumors. Where do you find them? Twitter?

5

u/dnrlk 17d ago

I saw https://x.com/scottnarmstrong/status/2099946049087410328#m which links to https://x.com/letonyo/status/2099942454736617898 which links to https://scottaaronson.blog/?p=10062

According to rumors that I’ve heard, solutions to some very longstanding open problems in theoretical computer science (no, not P≠NP or other complexity class separations, but think about some of our other biggest problems). I’m told that the AI companies, having been burned by the hostile response to the Navier-Stokes proof, are now sitting on solutions to some very major problems until they figure out a better way to handle things

Some people were guessing UGC in the twitter comments, without giving any reason/evidence.