微软研究院等利用人机协作 AI 证明存在 31 年的数学难题 KLS 猜想

微软研究院研究员 Xinzhi Zhang 与合作者结合人类主导的 AI 智能体协作，成功证明了高维几何与概率论领域历时 31 年的 KLS 猜想。该成果确立了对数凹分布的无量纲几何原理，证明最窄瓶颈与简单平面切割差异在常数因子内，移除了高维采样与随机算法理论的核心障碍。