In September 2026, MIT professor Dor Minzer and his students rushed to publish a 95-page paper on computational complexity after learning that OpenAI had allegedly proved the famous unique games conjecture. Minzer's team had independently achieved a milestone result on a closely related problem, and their quick publication was vindicated when OpenAI announced its proof in October alongside hundreds of other mathematical results, with experts praising Minzer's contribution as genuinely significant.