微软研究院等证明31年未解的KLS猜想

微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明该猜想中的常数界不随维度增长。研究采用人类主导的智能体搜索流程，探索了 100 多条候选路径，由研究者筛选和调整方向；同期另有独立团队给出完整证明，并有 Lean 4 形式化验证。该结果使此前依赖该猜想作为假设的结论可以无条件成立。