MicrosoftAnalysisScienceOctober 21, 2026

Microsoft researchers and AI agent solve 31-year-old KLS conjecture

Read original source →microsoft.com

Researchers resolved the Kannan-Lovász-Simonovits conjecture, open since 1995, showing the best flat cut matches the best cut of any shape within a universal constant regardless of dimension. The result came from a human-directed agentic process where AI explored possibilities and researchers pruned and redirected, then machine-checked formal verification.

1 source

More stories today

Open the live feed