微软研究院解决数学界 31 年重大挑战 KLS 猜想

Microsoft Research 研究员 Xinzhi Zhang 与合作者 Zhao Song 证明了 1995 年提出的 KLS 猜想，即对数凹分布的最佳平面切割与任意形状最佳切割之差不超过与维度无关的通用常数。两人在人类主导的智能体流程中让 AI 并行探索了 100 多条候选路线，经迭代剪枝和递归改进消除证明对维数的依赖，在 2026 年 10 月 4 日版论文中完成证明。论文发布当天，另一组专家发布了平行开发的完整证明，其工作建立在微软论文第一版结果之上，同日还出现了第三个证明，Lean 4 形式化随后发布。作者还用大致相同的 token 预算让多个前沿模型无引导地尝试同一问题，未能成功。