Microsoft Research 与合作者证明 KLS 猜想

Microsoft Research 研究员 Xinzhi Zhang 与 Zhao Song 证明了提出于 1995 年的 Kannan–Lovász–Simonovits（KLS）猜想，确立了高维几何中一条与维度无关的普适原理。该突破源于一种由人类引导的智能体研究过程，研究人员在约百条候选路径中通过迭代剪枝筛选出关键数学判据，并完成了独立验证与形式化检查。