哥大教授破防了：AI证伪百年数学猜想被打假新智元

OpenAI内部最新推理模型，一口气发布了十项惊人的数学进展。

首次证明了非Sofic群（Non-sofic groups）的存在性 ；

给出了全新的电路下界（Circuit lower bounds）；

攻克了最近向量问题（Closest Vector Problem，CVP）难度极限；

以及双人量子博弈并行重复指数衰减定理（Quantum parallel repetition）。

最令哥伦比亚大学副教授Henry Yuen在乎的是最后一个——

2016年，Yuen在该问题上取得了重大进展，但并未彻底解决。10年来，他屡战屡败，甚至一个月前他还用ChatGPT 5.5再次向终极证明冲锋，但收获寥寥。

而AI在他的肩膀上，轻轻一脚，把球送进了球门。

证明对了，人类却没理解

几天前，Lijie Chen发给Henry Yuen和另外几个人一份论文草稿。

当时生活很忙，他无暇深入研读。现在，论文已经公布。他不吐不快，有话要说。

量子并行重复定理（Quantum parallel repetition theorem），是Henry Yuen在研究生阶段耗费数年心血钻研的领域，也是他最引以为傲的成果。

Henry Yuen，现任哥伦比亚大学Srivani Family计算机科学副教授

他记得那些泡在咖啡馆里的午后，坐在办公室里的深夜，还有无数个本该休息的周末，反复拆解研读Ran Raz的经典并行重复定理。

他想解决这个定理的量子版本，为此夜不能寐、辗转反侧。他吞下了成吨的数学工具，最终成功证明了多项式衰减。

更重要的是，他从中建立了信心，终于认清自己的实力，证明了他确实能解决那些（至少一部分）别人也在乎的问题。

他相信OpenAI的这份证明应该是正确的，毕竟已经有Lean形式化证明。但要消化这个新证明，Henry Yuen还需要一些时间。

虽然新证明确实从他之前结束的地方继续出发，但AI突破了他原有证明策略的限制，使用了一些技巧和方法。这些方法或许已经被算子理论（operator theory）和泛函分析（functional analysis）领域的研究者所掌握。

兴奋之外，Yuen的第一个感受是失望，对论文写作风格的失望。

他说这份证明读起来满是AI味儿：冗长的铺垫绕了半天，关键环节却像变魔术，让人一头雾水。

OpenAI的证明，读来颇有意思，却也有些令人头疼。

它先把问题端端正正地摆在桌上，然后忽然一跃到「用预解式去找正确的purification」这个方向，中间几乎不留任何逻辑阶梯。

接下来，便是一连串颇为另类的矩阵熵计算，弯弯绕绕地算下去，末了告诉你：这条路走得通。