Microsoft Research 团队证明 KLS 猜想，破解高维几何 31 年难题

Microsoft Research 研究员 Xinzhi Zhang 与合作者证明了 KLS 猜想，建立了适用于对数凹分布且不依赖维数的统一几何界。研究团队借助人类主导的 AI 智能体研究了 100 多条路径，通过递归改进消除误差对维数的依赖，并获得独立证明与 Lean 4 形式化验证。