微软研究院机器学习与优化组的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想。该猜想断言，高维对数凹分布的最佳超平面切割与任意形状最佳切割之差可由一个与维度无关的通用常数界定。 作者称已缩短证明，并用 Lean 验证了简化后的论证，计划在最终审查后发布两者。
AI 根据报道生成 · 2 小时前更新
沿着报道，了解事件的不同侧面。
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明高维对数凹分布的最佳超平面切割与任意形状最佳切割之差可由一个与维度无关的通用常数界定。
还没有足够的连续观测数据，暂不绘制趋势。