Microsoft Research· Xinzhi Zhang·· 2 小时前精选AI 评分71
微软研究院等证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明结果与维度无关，并给出固定上界；此前 2026 年 7 月的最好结果仍允许上界随维度缓慢增长。
推荐理由
这篇论文给出了 KLS 猜想的完整证明，并说明人类主导、AI 智能体并行探索与筛选的研究流程如何促成突破。
来源：Microsoft Research · microsoft.com