Unique Games conjecture

Researchers working on the Unique Games conjecture accelerated their efforts after realizing artificial intelligence systems were closing in on a proof. The account, published by Quanta Magazine, describes a race between human mathematicians and machine tools to settle a long-standing problem in theoretical computer science. It highlights growing anxiety that machines may soon match humans on deep mathematical work.