AI与世界难题 · 数学 · Microsoft Research · 2026-10-21
解决数学界一项31年之久的重大挑战——KLS猜想
原标题: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
研究人员解决了 Kannan–Lovász–Simonovits(KLS)猜想。该猜想于 1995 年提出,被广泛视为高维几何中最核心的未解问题之一。这一证明源自一个由人类主导的智能体过程:AI 系统探索数学上的各种可能性,研究人员则对搜索进行评估、剪枝和重新定向。该结果证明,无论维数如何,简单的平坦割都能在固定因子内捕捉到对数凹分布最窄的瓶颈;该结果先由独立研究人员确认,随后又通过了机器校验的形式化验证。