Minzer团队抢在OpenAI前公布Unique Games变体证明，OpenAI随后发布Lean验证结果

MIT教授Dor Minzer与两名学生加速发布95页论文，证明4-to-1 games变体及其对图着色难度的影响，抢在OpenAI于10月6日公告其Unique Games猜想及2-to-1猜想的Lean验证证明之前。Minzer表示团队依靠人类推理和手工写作完成工作，并担忧AI工具消除失败学习过程并影响长期研究动力。