Two LLM-assisted papers claim to resolve the KLS conjecture
Two arXiv papers claim to solve the KLS conjecture, ranked #95 on a list of open math problems, and their acknowledgements name models including GPT-6 Astra.
New LLM-assisted papers claim to resolve the Kannan–Lovász–Simonovits (KLS) conjecture, ranked #95 overall and #1 in applied and computational mathematics in my LLM-based ranking of the most important open problems in mathematics. https://arxiv.org/abs/2610.01447 "The AI tools used in this work were GPT-6 Astra, GPT-5.6 Sol, Claude Fable 5, and Fable 5.1" https://arxiv.org/abs/2610.05474 "Most proofs and mathematical ideas in this paper were found by ChatGPT" - Song–Zhang introduced a key criterion and obtained a dimension-dependent bound (Oct 1). - Bizeul–Klartag–Lehec built on that criterion to claim a full proof (Oct 4). - Song–Zhang’s revised paper also claims a full proof, using a different final argument (also Oct 4). https://www.proofatlas.ai/open-problems/
This post quotes another post: x.com/guanyangw/status/2107313180712316952