As AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines