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

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 等人证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明该猜想中的界是一个与维度无关的固定常数。 作者称已缩短证明，并用 Lean 验证了精简后的论证；两者计划在最终审阅后发布。

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

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