AI 逼近最后一步,三位学者抢先交卷

MATRIX FRONTIER // 矩阵边界 ( 2026 )

机器叩门
学者抢跑

📍 2026-10-07 · 国际前沿科学 · Quanta Magazine

官方实拍·官方一手文献实拍

2026 年 10 月 7 日，纽约的 Quanta Magazine 刊出一篇报道，记录理论计算机科学界最紧绷的一段日子。三位计算机科学家在听说某套 AI 系统即将证出「唯一游戏猜想」（Unique Games Conjecture，简称 UGC，理论计算机科学中关于近似算法极限的核心假设）之后，加快了自己的进度，赶在那之前把各自的里程碑结果送了出去。

没有奖杯，没有裁判，也没有公开的赛道。真正让他们坐立不安的，是署名顺序和优先权——数学这门学科里最古老、也最现实的硬通货。这一次，抢时间的对手不是同行，是一台机器。

2002 年，Subhash Khot（苏巴什·霍特，纽约大学库朗数学研究所计算机科学家）提出唯一游戏猜想。它描述的是一类约束满足问题：给定一张图和一组标签，能否找到一种染色方式，让尽可能多的边满足约束，同时让最少量的边失败。

这个看似技术性的设定，牵动的是近似算法的天花板。若猜想成立，一大批问题的近似比会被钉死——比如最大割问题（Max-Cut）那个经典的 0.878 近似系数，将再也无法被任何多项式时间算法提高。二十多年里，它稳坐该领域最著名的悬案之一。

唯一游戏猜想相关报道视觉素材。该猜想由 Khot 于 2002 年提出。·Quanta Magazine

2026 年的某个时点，圈内开始流传一个说法：有 AI 系统在 UGC 方向上取得了实质推进，证明可能近在眼前。传闻没有附带可核验的论文，但它的传播速度远快于任何正式预印本。

对一个二十多年没有终局的问题来说，这种消息足以改变所有人的行为节奏。研究工作被迫进入一种奇怪的状态：不再只是解一道题，还要抢在机器之前，把自己的名字钉在这道题上。

原文配图。围绕 AI 逼近 UGC 证明的传闻成为报道线索。·Quanta Magazine

三位研究者选择了各自加速。据 Quanta Magazine 报道，他们推进的方向并不完全相同，有人从近似硬度切入，有人在相关结构性问题上取得进展。彼此之间未必构成直接竞争，但外部那条传闻，让三条线同时绷紧。

这种「抢跑」在数学史上并不少见，只是很少由机器触发。上一次大规模出现类似情形，是证明助手开始介入组合数学与形式化验证的那些年份。而这一次，压力的来源从工具变成了对手。

报道配图：围绕唯一游戏猜想的推理路径示意。·Quanta Magazine

报道配图：三位研究者同时推进的阶段性结果。·Quanta Magazine

值得琢磨的地方在这里。如果 AI 真的证出了 UGC，这条结果的价值并不会因为出题者的身份而缩水；它仍会在引用链上被反复书写。但「算出」与「说清」之间的缝隙，恰恰是这次抢跑暴露出的部分。

人类的证明不只是答案，还是一张可被他人行走的地图。一个模型输出的几百页推理，即便正确，也需要时间被社区消化、复核、信任。这段延迟，构成了学者们自以为的时间窗口。

报道配图：证明的可验证性是社区共识形成的前提。·Quanta Magazine

报道配图：围绕该猜想的长期研究与讨论场景。·Quanta Magazine

无论那台机器最终交出了什么，这三位学者已经把成果写进了文献。真正被改写的不是某一个定理的归属，而是整个领域对「紧迫感」的定义——从今往后，一道悬置二十年的难题，可能在一夜之间从无人问津变成必须当天交卷。

唯一游戏猜想依然悬在那里。它等来的第一批对手，一半是人，一半不是。而在库朗研究所那份 2002 年的原始论文与 2026 年这批新结果之间，留下的不是答案，是一条被压缩到几个月甚至几周的推理时差——这大概是这次事件最值得记住的数字。

报道配图：悬而未决的猜想与新一轮成果之间的时间线。·Quanta Magazine

报道配图：原文刊于 2026 年 10 月 7 日的 Quanta Magazine。·Quanta Magazine