微软研究者以人类引导AI证明KLS猜想

微软研究院机器学习与优化组的 Xinzhi Zhang 与合作者 Zhao Song 证明了1995年提出的 KLS 猜想：对对数凹分布，最佳超平面切割与任意形状切割的差距不超过一个与维度无关的普适常数，从而消除了对维度数的依赖，完成于2026年10月4日版本的论文。 证明过程由人类以结构化方式引导 AI 智能体完成，探索了100多种候选思路，其中许多涉及高阶张量的冗长计算。作者另设一条对照线，用数个领先 AI 模型在无人引导下、以大致相同的 token 预算反复尝试同一问题，该尝试未达成目标。 作者还精简了证明并用 Lean 验证了简化后的论证，计划在最终评审后一并发布。

AI 根据报道生成 · 5 天前更新