As AI Closed In on ‘Unique Games’ Proof, Researchers Raced to Beat the Machines

Amid rumors that OpenAI had proved the unique games conjecture, MIT's Dor Minzer and his students rushed to publish a related milestone result first. OpenAI later confirmed their proof of the conjecture along with hundreds of other mathematical findings.