Human-Directed AI Helps Microsoft Researchers Prove the 31-Year-Old KLS Conjecture
Microsoft Research's Xinzhi Zhang and Zhao Song proved the 1995 KLS conjecture in high-dimensional geometry, with AI agents exploring 100+ approaches under human direction.