一道比谷歌还"老"的数学难题被攻克，AI 承担了大部分探索工作。微软研究员在 AI 智能体探索 100 多种思路后，证明了 31 年历史的 Kannan–Lovász–Simonovits 猜想。
微软研究院于 2026 年 10 月 21 日宣布，高级研究员 Xinzhi Zhang 与合作者 Zhao Song 证明了 Kannan–Lovász–Simonovits 猜想——这一 1995 年提出的高维几何核心未解难题。两人 140 页的论文《An O(1) Bound for the KLS Constant》（10 月 1 日发布于 arXiv，10 月 4 日修订）给出了与维度无关的常数界，整个过程采用"人导向的智能体式 AI 研究"：AI 系统探索了约 100 条研究路径，研究人员负责剪枝和纠偏。为什么重要：KLS 猜想是高维采样理论的基石，支撑统计、优化与算法中的随机游走方法；该证明已获独立团队复现并通过 Lean 4 机器形式化验证，标志着 AI 辅助数学发现进入新阶段。
报道来源
- Rohan Paul2026-10-22 06:11