GPT-5.6和Fable联手，解决了一道悬了25年的数学难题

GPT-5.6和Fable 5联手，解决了一道悬置25年的数学难题。

微软研究院首席研究员 Dimitris Papailiopoulos ，证明了一个多项式时间算法，能 让MIMO检测精确命中最大似然阈值 。

MIMO检测是无线通信领域的一个经典问题，需要 接收端从被噪声搅乱的信号中，把发送端原本发出的信息完整还原 。

统计上这种操作已经可以做到，但过去的方法，是穷举搜索，耗费的时间是指数级的。

所以问题就变成，能不能 不通过穷举，利用快速算法实现还原 。

2001年，Hassibi和Vikalo以为找到了突破口，但2005年这条路又被Jaldén和Ottersten证明走不通。

此后学界又先后试过半正定松弛、比特翻转局部搜索、AMP、统计物理方法，最接近的结果也只能停在比理论门槛高一倍的地方。

25年，一波又一波学者轮番上阵，但谁都没能啃下来。

MIMO检测，是无线通信里的一个基础问题。

发送端把N个比特通过一个N×N的信道发出去，信道会把这些比特混在一起，还会叠加噪声；

接收端手里只有一份被搅乱过的信号，要把发送端最初发出的N个比特，一位不差地找回来。

理论上有一个万无一失的办法，叫 最大似然检测 ，也就是把所有可能的比特组合都算一遍，找出跟接收到的信号最匹配的那一个。

这种方法一定能找到正确答案，前提是你愿意等——N个比特意味着2的N次方种组合，N稍微大一点，穷举就要算到天荒地老。

1989年，Sergio Verdú证明了 这类问题在最坏情况下是NP-hard的 ，也就是不管用什么算法，都存在某些输入让计算量指数级爆炸。

但「最坏情况」说的是数学上刻意构造出来、专门为难算法的信道矩阵。

现实里的无线信道不是谁刻意构造的，它的每一次衰减、每一次噪声都是随机产生的，不会挑那些最难算的情况来为难接收端。

于是学界从2000年代初开始问一个更具体的问题——

如果信道是随机产生的，只要统计上存在恢复原始比特的可能，是不是就一定能找到一个不需要穷举的算法？

后来的研究给出了一条精确的分界线， 当信噪比达到2logN，发送的比特能够被完全恢复的概率趋近于1 。

低于这条线，连最大似然检测本身都会开始出错，这条分界线因此被称为 最大似然阈值 。

问题于是变得具体——能不能设计一个跑得快的算法，精确命中最大似然阈值？

2001年，Babak Hassibi和Haris Vikalo以为找到了答案。

他们分析的是一种叫 球形译码 （sphere decoder）的算法。

这种算法先在接收信号周围划出一个「球」，只在球内的候选里搜索，球外的直接跳过，靠这一步压缩搜索范围。

Hassibi和Vikalo推导出这个算法的期望复杂度公式，结果看起来是多项式时间的。

但2005年，Joakim Jaldén和Björn Ottersten把这个结论推翻了。

他们证明，在任意固定的信噪比下，球形译码的期望复杂度其实是指数级的，不是多项式的。

原因是要以不趋于零的概率把发送的信号包进「球」里，球的半径必须跟着问题规模一起变大，球一旦变大，球内要搜索的候选数量也跟着指数级增长。

球形译码这条路走不通之后，学界转向了各种近似方法——半正定松弛、比特翻转局部搜索、AMP（approximate message passing）、统计物理里的方法。

结果，每一种都能给出漂亮的分析，但没有一种被证明能精确匹配2logN这条阈值。

2020年，一种把离散问题放宽成连续优化问题来解的方法，叫 box relaxation ，拿到了当时最好的严格证明结果，能在信噪比达到4logN时做到精确恢复，但复杂度依然是理论门槛的两倍。

25年过去，统计上「能恢复」和用快算法「能恢复」之间，一直隔着这条鸿沟。

Dimitris Papailiopoulos和GPT-5.6、Claude Fable 5证明，一个只有两步的简单算法，同样能在信噪比等于2logN时精确恢复全部比特，而且是多项式时间，只需要O(N³)次运算。

一头证明了 这个算法能在信噪比等于2logN时，信号能被精确恢复 ；另一头则进一步证明， 信噪比只要略低于2logN这个最大似然阈值，连「笨办法」最大似然检测也会开始失败 。

Dimitris找GPT-5.6和Fable 5来试这道题，两个模型很快分别给出了自己的证明思路，但接下来的打磨过程一波三折。

GPT-5.6的路径用了一种叫AMP的算法，这是Dimitris一直没能吃透分析方法的一类工具。

Fable 5给出的路径不同，用的是 「符号LMMSE，加贪心逐位翻转」 ，一个业内实际在用、却从没被严格证明过的老算法。

两条路径都各自给出了完整的证明，声称能在信噪比2logN精确恢复。

Dimitris最终选择了Fable给出的这条路，让GPT接手检查和修补里面的漏洞。

GPT把漏洞修好了，但修好之后的证明是一堵「符号墙」，变量指着变量，被指着的变量又指着更多变量，而且塞满Dimitris看不懂的矩阵分析工具。