KLS conjecture open since 1995 proved; paper credits ChatGPT for most of the proof
Two arXiv papers claim to prove the KLS conjecture, with one author stating that most of the proofs and mathematical ideas were found by ChatGPT, while the other 140-page paper lists models including GPT-6 Astra.
A math problem open since 1995 fell this weekend, and the paper that closed it says ChatGPT found MOST of the proofs The KLS conjecture. Two arXiv papers claim the proof, both posted or revised on Oct 4 Bizeul, Klartag and Lehec: "Most proofs and mathematical ideas in this paper were found by ChatGPT." They write that their own role was mostly to understand those proofs and improve the exposition Song and Zhang, 140 pages, list GPT-6 Astra, GPT-5.6 Sol, Fable 5 and Fable 5.1. Song had tried the problem at the IAS around 2019–2020 and again from 2022 to 2024, without success Polymarket on OpenAI announcing another Millennium Prize solution by the end of 2027: 50.5c at 18:30 UTC yesterday, 59.5c half an hour later, 63.5c now https://polymarket.com/event/openai-announces-another-millennium-prize-solution-by?via=macintosh