Quanta 记录 AI 证明传闻首次明确改变数学研究发表节奏：Unique Games 压力促使人类团队提前公开相关结果

Quanta Magazine 于 10 月 7 日报道，MIT 的 Dor Minzer 与学生 Yumou Fei、Shuo Wang 在 9 月已完成一个与 Unique Games / 2-to-1 games 密切相关的 4-to-1 milestone，但原本仍计划用数月完善写作；当他们得知 OpenAI 可能即将公开 AI 证明的传闻后，为避免被抢先，于三天内仓促整理并发布 95 页手稿。OpenAI 随后在 10 月 6 日的大规模数学结果发布中公开了 AI 生成、Lean-verified 的 2-to-1 conjecture proof。Quanta 的独立采访还记录了研究者对 priority、失败经验价值、长期项目激励和“math by press release”的担忧，使这篇报道成为 AI 能力开始直接改变数学研究发表行为的可核验案例。