Microsoft 研究者证明 KLS 猜想

Microsoft 研究人员 Xinzhi Zhang 与合作者 Zhao Song 证明了 1995 年提出的 KLS 猜想，确立了高维几何中关于 log-concave 分布的通用原理。研究通过人类主导的 agentic 过程探索了超过 100 个候选路径，利用机器检查完成了形式验证。