研究者证明31年未解的KLS猜想

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明，对一大类高维概率分布，最佳超平面切割与任意形状最佳切割的效果相差不超过一个与维度无关的常数。 KLS 猜想于 1995 年提出，此前已悬置 31 年。作者称已缩短证明，并在 Lean 中验证了精简后的论证，计划在最终审阅后发布两者。

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

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