AI 報告 · Microsoft · 2026-10-21 · 部落格／評論
解開數學界 31 年來的重大難題 – KLS 猜想
原標題: Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
一位微軟（Microsoft）研究員與一位合作者已解決 Kannan–Lovász–Simonovits（KLS）猜想；這個於 1995 年提出、已有 31 年歷史的問題，曾被廣泛視為高維幾何中最核心的未解難題之一。該成果為對數凹分佈確立了一項通用的幾何原理，顯示無論維度為何，簡單的平坦切割都能在固定倍數內捕捉其最窄的瓶頸。這項突破誕生於由人類主導的代理式研究流程：AI 系統探索各種可能性，研究人員則負責評估並重新引導搜尋方向；該成果已獲獨立證實，隨後更通過機器檢驗的形式驗證。