LLM-assisted papers claim to resolve the KLS conjecture, a top open math problem
IgorCarron · x · 2026-10-06
Two LLM-assisted papers claim to resolve the Kannan–Lovász–Simonovits (KLS) conjecture: Zhao Song and Xinzhi Zhang's 140-page arXiv paper (2610.01447) proves an O(1) bound for the Cheeger constant of isotropic log-concave measures, and Bizeul–Klartag–Lehec built on their criterion to claim a full proof. The papers credit AI tools including "GPT-6 Astra", "GPT-5.6 Sol", and "Claude Fable 5", with claims that most proofs were found by ChatGPT. Verification by the math community is pending, but this could mark a landmark for AI-assisted mathematics.
Related event: Two AI-assisted papers claim to resolve the KLS conjecture(7 posts)→
More from AGI Musings
- AI differs from past automation because it automates automation itself — burny_tech · 2026-10-06
- Veteran dev mourns dying coding craft: from hand-sliced Photoshop corners to AI — CtrlAltDwayne · 2026-10-06
- Study of 227K STEM PhD abstracts links AI use to leaving academia for industry — ValerioCapraro · 2026-10-06
- AI Race Is Now a Five-Layer Contest: Intelligence, Compute, Energy, Manufacturing, Speed — ingliguori · 2026-10-06
- LLMs expanded the space of trivial results — publish fewer papers and call out paper mills — bremen79 · 2026-10-06
- Burry vs. AI bulls: critic argues AI has a virtuous loop dot-coms never had — robleclerc · 2026-10-06