微软研究院研究人员攻克 31 年数学难题 KLS 猜想

微软研究院研究员 Xinzhi Zhang 与合作者结合人类引导的 AI 智能体探索流程，完整证明了高维几何核心难题 KLS 猜想。该工作确立了对数凹分布的无量纲几何原理，证明扁平切割在常数范围内即可捕捉最窄瓶颈且上界不随维度增加而增长。该突破目前已获得多个独立研究团队的并行证明与 Lean 4 形式化验证。