微软研究院用人类引导的 AI 智能体证明 31 年未解的 KLS 猜想

微软研究院张新志与合作者证明了 1995 年提出的 KLS 猜想，确立了对数凹分布与维度无关的普适几何原理。研究采用人类主导的智能体流程，AI 探索了 100 多种候选路径，最终通过递归改进将维度依赖完全消除。完整证明于 2026 年 10 月 4 日发布，另有独立团队同日给出完整证明，并已有 Lean 4 形式化验证。