Rohan Paul (@rohanpaul_ai) · 2026/10/22 14:11:13
AI 辅助证明 31 年数学猜想 KLS 猜想获解
出处作者 / 发布主体：Rohan Paul (@rohanpaul_ai)原标题：A math problem older than Google has been solved, with AI doing much of the searching.
88AI 研判分
核心综述
微软研究员利用 AI 智能体探索超百种路径，成功证明了自 1995 年悬而未决的 Kannan-Lovász-Simonovits (KLS) 猜想。该成果产出 140 页证明文档，标志着“人类主导搜索+AI 执行推导”模式在解决高难度数学问题上取得重大突破。
报道全文原始报道全文
Rohan Paul (@rohanpaul_ai) · 2026-10-22 06
一道比 Google 历史更悠久的数学难题已被解决，其中 AI 承担了大部分搜索工作。
微软研究员在 AI 智能体探索了超过 100 种方法后，证明了这一已有 31 年历史的数学猜想（Kannan-Lovász-Simonovits 猜想）。
一份长达 140 页的证明，加上经过 AI 探索的 100 多条路径，终于解决了数学家们自 1995 年以来一直攻克的难题。
这是一次由人类主导的搜索过程：AI 智能体探索了约 100 条研究轨迹，而研究人员则在每轮之间剔除较弱的方向，最终得出了支撑 Song 和 Zhang 对 Kannan-Lovász-Simonovits (KLS) 猜想证明的关键准则。
AI 负责探索候选方法、执行推导、协助准备手稿并进行内部证明检查；而递归方法及完成证明所需的误差界限则归功于这两位研究人员。
关于 Kannan-Lovász-Simonovits 猜想：想象一个随机游走者在凸形区域内漫步：该猜想指出，不存在能困住它的狭窄通道，因此即使在极高维度下，它也能高效地探索整个形状。
