AI冲向Unique Games证明那一刻，数学家们慌了

一道数学猜想，能不能让复杂性科学悬了一个世纪的近似下界问题就此落锤？这就是"Unique Games"猜想。它不如P vs NP那样直接，却是悬在近似算法头上的达摩克利斯之剑——若为真，无数经典问题的下界将彻底翻篇。Quanta这篇报道让我坐不住了：AI证明工具正在朝它逼近，而数学家们不是在"辅助"证明，是在跟机器抢时间。人类试图在自动化推理覆盖之前亲手把证明写出来。我看完有个判断：这件事的真正分界线不是"AI能不能证"，而是"谁来署第一作者"。科学发现的价值从来不只属于正确性本身。

原文：As AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines · 来源：Hacker News