Reposted by Mark to Markov Chain
OpenAI’s big math dump last night included a proof of the unique games conjecture, one of the most famous open question in complexity theory. Three weeks ago, three computer scientists settled a closely related conjecture “the old-fashioned way.” My latest for @quantamagazine.org:
quantamagazine.org
As AI Closed In on ‘Unique Games’ Proof, Researchers Raced to Beat the Machines | Quanta Magazine
In the shadow of a rumored AI proof of one of the biggest problems in their field, three computer scientists rushed to publish their own milestone result.