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

微软研究院研究员 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明结果与维度无关，并给出固定上界。此前 2026 年 7 月的最好结果仍允许上界随维度缓慢增长。 作者称已缩短证明，并用 Lean 验证了精简后的论证；两者计划在最终审阅后发布。

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

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