AI 报告 · Microsoft · 2026-10-21 · 博客 / 评论
解决数学界一项31年之久的重大挑战——KLS猜想
原标题: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
一位微软研究员与一位合作者解决了 Kannan–Lovász–Simonovits (KLS) 猜想，这一于1995年提出、已有31年历史的问题曾被广泛视为高维几何领域最核心的未解难题之一。该结果为对数凹分布确立了一条普适的几何原理，表明简单的平面切割无论维数如何，都能在固定倍数范围内捕获其最窄的瓶颈。这一突破源自一个由人类主导的智能体研究过程：AI系统探索各种可能性，研究人员则对结果进行评估并重新引导搜索方向。该成果已获独立证实，随后还经过了机器校验的形式化验证。