Microsoft Research· Xinzhi Zhang·· 2 hours agoFeaturedAI Score71
Microsoft researchers prove the 31-year-old KLS conjecture with human-directed AI
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI summary
Microsoft researcher Xinzhi Zhang and a collaborator proved the Kannan-Lovász-Simonovits (KLS) conjecture.
Why it matters
The account details how human-directed agentic search with iterative pruning reached a proof that unguided model runs did not.
Source: Microsoft Research · microsoft.com