微软用「人类主导+AI 探索」攻克 31 年 KLS 猜想

微软研究院宣布，研究员 Xinzhi Zhang 与合作者证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，产出 140 页证明。该成果结合新数学思想与「人类主导的 AI」，AI 智能体探索了上百条候选思路，成为高维几何与概率领域核心难题被「人类+AI」协作解决的标志性案例，官方博客还长文详解了全过程。

2026-10-22 ~ 2026-10-22 · 3 条相关

• 微软研究院宣布攻克悬置 31 年的 KLS 猜想 — LesterMackey · 2026-10-22
• 微软研究员借 AI 探索逾百条路径，攻破 31 年 KLS 数学界猜想 — rohanpaul_ai · 2026-10-22
• 微软官方详解：AI 智能体辅助证明 31 年 KLS 猜想全过程 — rohanpaul_ai · 2026-10-22