Microsoft researchers prove 31-year-old KLS conjecture
What happened
On 22 October 2026, Xinzhi Zhang of Microsoft Research's machine learning and optimisation group and co-author Zhao Song proved the Kannan-Lovász-Simonovits (KLS) conjecture, posed in 1995. According to Microsoft Research's first-hand report, the proof shows the relationship is bounded by a fixed constant in high dimensions and does not grow with dimension. The conjecture had remained open for 31 years. The report does not mention how AI assisted the proof, nor does it disclose the proof's details or its peer-review status.
Written by AI from the reports · updated 3 h ago
Timeline
Follow the reports to see the event from each side.
- Microsoft ResearchSelectedSolving a 31-year-old grand challenge in mathematics – the KLS conjecture
For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to understanding the efficiency of randomized algorithms used across science and computing. The Kannan–Lovász–Simonovits (KLS) conjecture was proposed in 1995.
Heat of this event
Current heat 9·Peak in the comparable range 9（Oct 22 03:00）·Change over 24 hours in the comparable range –
The trend compares only the same accounts observed without a break, so its range can be narrower than the current heat count. Move the pointer or tap the chart to see each hour; with a keyboard, use the left and right arrow keys.