微软研究院证明 KLS 猜想，解决高维几何 31 年难题

微软研究院称，其机器学习与优化组的 Xinzhi Zhang 与合作者证明了 1995 年提出的 Kannan–Lovász–Simonovits（KLS）猜想：对数凹分布的最优平面切割与任意形状切割之间只差一个与维度无关的常数，这一高维几何问题已悬置 31 年。 作者称已缩短证明并用 Lean 验证了简化后的论证，计划在最终审阅完成后发布两者，目前证明尚未公开。

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

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