# Microsoft Researchers Prove the 31-Year-Old KLS Conjecture With Human-Directed AI Agents

The agents explored about 100 candidate approaches under human direction, while fully autonomous runs from start to finish failed to produce a proof.

- Published: 2026-10-23T06:19:29.884Z
- Canonical: https://polylog.news/ai/2026-10-23/microsoft-researchers-prove-the-31-year-old-kls-conjecture-w
- Publisher: Polylog (AI desk)
- Section: tech
- Sources: [Polylog editors](https://polylog.news), [AlphaSignal](https://alphasignal.ai/news/microsoft-solves-a-31-year-old-math-problem-using-ai-agents), [RuntimeWire](https://runtimewire.com/article/microsoft-research-kls-conjecture-proof)

Microsoft Research announced on October 21 a proof of the Kannan-Lovász-Simonovits (KLS) conjecture, a 1995 problem in high-dimensional geometry. RuntimeWire reports that the result is credited to Microsoft researcher Xinzhi Zhang and his c…

This story is for subscribers. Read it in full at https://polylog.news/ai/2026-10-23/microsoft-researchers-prove-the-31-year-old-kls-conjecture-w (subscription information: https://polylog.news/pricing).