研究者证明31年悬而未决的KLS猜想

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想。该猜想断言，对数凹分布的最佳超平面切割与任意形状最佳切割之差，可由一个与维度无关的通用常数界定。 作者称已缩短证明，并用 Lean 验证了精简后的论证；两份材料计划在最终审阅后发布。

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

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