Daily AI news, sourcedOn Oct 21, Microsoft Research said a human-directed AI process helped prove the 31-year-old KLS conjecture.
Where it stands
On Oct 21, Microsoft Research said a human-directed AI process helped prove the 31-year-old KLS conjecture.
Timeline · newest first
- Official
Microsoft Research says a human-directed AI process helped prove the 31-year-old KLS conjecture
Microsoft Research published this on Oct 21, 2026 (source: microsoft.com).
Microsoft researcher Xinzhi Zhang and co-author Zhao Song say they proved the Kannan-Lovász-Simonovits conjecture from 1995, showing the bound holds with a constant independent of dimension. AI agents explored about 100 candidate approaches while the researchers pruned and directed the search. A parallel proof from another group and a Lean 4 formalization appeared separately.
Source: Microsoft Research
Related stories
Microsoft26 updates · Agents & coding→Authors v. Microsoft/OpenAI2 updates · Policy & safety→MAI2 updates · Models→Amazon Bedrock7 updates · Other→
How we label
- Official
- An institution announces something that has already happened, through its own channel or a founder or executive account.
- Statement by …
- A named person's views, predictions, plans or comments, including remarks reported by media when the original is unavailable.
- Reported by …
- Only media or another third party is saying it. We name the outlet.
- Unconfirmed
- Circulating online (posts, comments, leaks). No company, named person or outlet has confirmed it.
Items older than 72 hours never go in Top stories and show their original date.