Microsoft researchers crack 31-year-old KLS conjecture with human-led AI

Microsoft Research announced that Xinzhi Zhang and collaborators proved the 31-year-old Kannan-Lovász-Simonovits conjecture in a 140-page proof, combining new mathematical ideas with human-led AI agents that explored hundreds of candidate paths.

2026-10-22 ~ 2026-10-22 · 3 related posts

• Microsoft Research claims proof of the 31-year-old KLS conjecture, aided by human-directed AI — LesterMackey · 2026-10-22
• Microsoft researcher cracks 31-year-old KLS conjecture with AI agents exploring 100+ proof paths — rohanpaul_ai · 2026-10-22
• Microsoft Research details how AI agents helped resolve the 31-year-old KLS conjecture — rohanpaul_ai · 2026-10-22