微软研究员证明悬置31年的KLS猜想

2026年10月22日，微软研究院发布一手报道，称研究员Xinzhi Zhang与Zhao Song解决了悬置31年的KLS猜想。报道指出，二人证明了1995年提出的这一猜想。其所述结论为：对于一类高维对数凹分布，最佳平面切割与任意形状的最佳切割至多相差一个固定常数，且该常数不随维数增长。报道将这一结果表述为，在上述分布类中，用平面作出的最佳切割，相对任意形状的最佳切割，差距不会随着维度升高而变大，而是被一个固定常数控制。目前关于此事的记述均来自上述微软研究院报道，内容集中在证明已经给出以及该常数差距不依赖于维数。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。