微软研究院用人类引导的 AI 证明 31 年未解的 KLS 猜想

完整中文导读

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，给出与维度无关的固定界，此前 2026 年 7 月的最好结果仍允许界随维度缓慢增长。