Microsoft Research 研究团队证明 KLS 猜想，解决 31 年数学难题

Microsoft Research 研究人员与合作者证明了 Kannan–Lovász–Simonovits（KLS）猜想，解决了高维几何与概率领域一项悬而未决 31 年的问题。研究通过递归收紧数学界并证明误差累积有界，消除了结果对维度的依赖；研究者借助 AI 智能体探索候选思路，同时负责筛选方向并完成证明。独立研究团队给出了平行证明，后续也出现 Lean 4 形式化验证。