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年提出，並被廣泛視為高維幾何中最核心的未解問題之一。此證明源自一個由人類主導的代理式（agentic）流程：AI 系統探索數學上的各種可能性，而研究人員則對搜尋進行評估、篩選與重新導引。該結果確立了無論維度為何，簡單的平坦割（flat cut）都能在固定常數倍內捕捉對數凹分佈最窄的瓶頸，且此結果先經獨立研究人員確認，隨後通過機器檢核的形式驗證。