1995 年悬而未决的 KLS 猜想被证明，论文称 ChatGPT 找到了大部分证明
两篇 arXiv 论文声称证明了 KLS 猜想，作者之一写明论文中大部分证明和数学想法由 ChatGPT 找到，另一篇 140 页论文列出了 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