# Microsoft researchers solve 31-year-old KLS conjecture with human-directed AI search

> Original title: A math problem older than Google has been solved, with AI doing much of the searching.

- Source: Rohan Paul
- Published: 2026-10-22T06:11:13.000Z
- Bad Influence: https://badinfluence.news/items/ixadcgkwiqzwt5pkb8i7jlon9
- Original: https://x.com/rohanpaul_ai/status/2113151168176443568

## Summary

Rohan Paul reports that Song and Zhang proved the Kannan-Lovász-Simonovits conjecture, a 31-year-old problem in high-dimensional geometry. AI agents explored roughly 100 research trajectories, while a researcher cut weak directions between rounds. The post credits the recursive method and error bound to the two researchers, and says the AI helped with derivations, manuscript preparation, and internal proof checks.

## Post

A math problem older than Google has been solved, with AI doing much of the searching.

Microsoft researcher proved this 31-year-old Math conjecture (Kannan-Lovász-Simonovits conjecture) after AI agents explored over 100 approaches.

A 140-page proof, more than 100 AI-explored paths now have closed a question mathematicians had been working on since 1995.

A human-directed search, with AI agents exploring roughly 100 research trajectories while a researcher cut weak directions between rounds, produced the criterion underpinning Song and Zhang’s proof of the Kannan-Lovász-Simonovits (KLS) conjecture.

The AI explored candidate approaches, carried out derivations, helped prepare the manuscript and ran internal proof checks, while the recursive method and the error bound that finished the proof are credited to the 2 researchers.

About the Kannan-Lovász-Simonovits conjecture: Picture a random walker wandering inside a convex shape: the conjecture says no secret narrow passage can trap it, so it can explore the whole shape efficiently, even in huge dimensions.

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHVNpK9kbAAIq362.jpg&mode=thumb&exp=1793404800&sig=f1a6e18c966a9071)

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHVNpRafaMAAx7A0.jpg&mode=thumb&exp=1793404800&sig=7f2e52771f364291)

![](https://badinfluence.news/api/img-proxy?u=https%3A%2F%2Fpbs.twimg.com%2Fmedia%2FHVNpoJ8bYAA2DqS.png&mode=thumb&exp=1793404800&sig=443e578b31cc0d93)