微软研究员借 AI 探索逾百条路径，攻破 31 年 KLS 数学界猜想

rohanpaul_ai · x · 2026-10-22

微软研究员与合作者解决了悬置 31 年（1995 年提出）的 Kannan-Lovász-Simonovits（KLS）猜想，产出 140 页证明。这是「人类主导 + AI 探索」的新科研范式案例：AI 智能体探索了 100 多条候选研究路径、执行推导、协助准备手稿并运行内部证明检查，研究者则在每轮之间砍掉薄弱方向。完成证明的递归方法与误差界归功于两位研究者本人。

KLS 猜想的直观含义：设想一个随机游走者在一凸体内游荡——该猜想断言不存在隐藏的狭窄通道能困住它，因此即使在极高维空间中，它也能高效探索整个形状。