Skip to content
Trending storyDeveloping

Microsoft researchers prove KLS conjecture

1 reports1 sourcesUpdated 2 hours ago

What you need to know

AI summary

Microsoft researcher Xinzhi Zhang and a collaborator proved the Kannan-Lovász-Simonovits (KLS) conjecture, according to Microsoft Research. The result, reached with human-directed AI, closes a question open for 31 years. The coverage gives no further details on the method, the AI's role, or where the proof has been published.

Generated by AI from the reporting · updated 1 hour ago

Timeline

Follow the reports to see every side of the story.

Oct 21
  1. Microsoft ResearchFeatured
    Microsoft researchers prove the 31-year-old KLS conjecture with human-directed AI

    Microsoft researcher Xinzhi Zhang and a collaborator proved the Kannan-Lovász-Simonovits (KLS) conjecture.

Heat trend for this story

Not enough continuous data yet to chart a trend.