Re: Sharing AI progress in mathematics
Unique Games Conjecture [0] is a seminal conjecture in Complexity Theory, and is an underlying assumption for many, many inapproximability results. A valid proof is a big deal!
[0] https://en.wikipedia.org/wiki/Unique_games_conjecture
[1] https://github.com/openai/math/blob/main/preprints/The-Uniqu...
enoether, 2 days ago
Post #33963
516