微软研究院解开 KLS 猜想：AI 探过 100 多条路径
微软研究院 10 月 21 日宣布 KLS 猜想获证。这个 1995 年提出的问题问的是：对一类各向同性对数凹分布，任意形状的最佳切与最佳平面切相比，差距是否不超过一个普适常数、且不随维度增长；因为切的口径决定了随机游走多久能走遍分布，它直接影响高维采样与理论的复杂度。论文《An O(1) Bound for the KLS Constant》由 Zhao Song 与 Xinzhi Zhang（微软研究院机器学习与优化组）署名，10 月 1 日挂上 arXiv、10 月 4 日补全，共 140 页。
AI 在这里的用法被写得很克制。作者与 AI 智能体做了结构化的人机协同，探过 100 多种候选路径，很多涉及高阶张量的长算，从中得到一个可作为证明骨架的新判据；10 月 1 日那版用它把维度依赖压到迭代对数，最后一步则是把整个递归精化过程重复施加，并证明每一步引入的小误差累计后仍被普适常数压住，才把维度依赖彻底消掉。官方明确分工：AI 帮助探索路径、做推导、备稿与内部证明检查，数学方向、取舍与最终验证由研究者负责。
验证来自作者之外：作者挂出完整证明的同一天，另一组专家并行给出完整证明，第三份证明依赖相近思路；随后有 Lean 4 形式化（KLS500 仓库）发布。这三层让「一个团队自证」变成可外部核对的结果。本文只读了微软研究院公告与 arXiv 摘要页，没有逐页读 140 页证明，也没有核对形式化仓库的构建状态。
原文链接：微软研究院官方博客
核验记录
官方博文直读 200（217,230 字节）：JSON-LD datePublished 2026-10-21T16:00:00Z 与页首可见 Published October 21, 2026 双证（署名 Xinzhi Zhang）。论文一手在 arXiv 2610.01447：v1 2026-10-01、v2 2026-10-04、末次更新 2026-10-21T16:04Z，作者 Zhao Song / Xinzhi Zhang —— 事件本体早于本窗口 17 天，本条按厂商官方公告日收录，正文已写明论文时间线。数字取自官方正文（100 多种候选、140 页、10-01 压到迭代对数、10-04 完成）。配图裸请求与带站内 Referer 双 200 / JPEG。