Microsoft Research 与合作者证明 KLS 猜想，解决高维几何 31 年难题

Microsoft Research 与合作者证明了提出于 1995 年的 KLS 猜想，建立与维度无关的常数界，解决高维几何中的核心难题。研究人员借助人类引导的智能体研究流程探索了 100 多条候选路径，并通过递归改进证明完成了关键证明。该结果获得多项独立证明和 Lean 4 形式化验证。