Microsoft researchers, with AI-guided search, prove the KLS conjecture
Microsoft Research's Xinzhi Zhang and co-author Zhao Song proved the Kannan–Lovász–Simonovits conjecture, a 31-year-old central problem in high-dimensional geometry. The proof establishes a dimension-free bound show...