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

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想。该猜想断言，高维对数凹分布中平面切割与任意形状切割的效果只差一个与维度无关的常数。 作者称已缩短证明，并用 Lean 验证了精简后的论证；完整证明与形式化验证版本计划在最终审阅后发布。

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

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