AI在30分钟内解决了20年未解难题；验证却耗时5天

微软研究院的科学家迪米特里斯·帕帕伊利奥普洛斯利用GPT-5.6和Claude Fable 5解决了一个自2001年以来悬而未决的问题：MIMO检测问题是否能在统计上可能的任何情况下通过快速多项式算法得到解决。这两个模型独立地声称不存在差距，并提供了不同算法的证明。帕帕伊利奥普洛斯选择了Claude Fable的算法——一种粗粒度线性估计加舍入，随后进行贪婪的位翻转——并让GPT修正其证明，该证明“大体错误但可挽回”。随后他花了五天时间与这两个模型迭代，以将论证简化为可验证的形式，拒绝了他无法理解的任何步骤，即使允许更差的常数。最终证明是初等的，建立在2010年代的已知技术之上。然而，该结果尚未经过同行评审，并且理想化的信道模型意味着它不会改善实际路由器。帕帕伊利奥普洛斯还提出，这些模型提炼了人类的集体直觉，许多被放弃的问题正等待着类似的解决方案。