两篇 LLM 辅助论文宣称解决 KLS 猜想
两篇 arXiv 论文称攻克数学开放问题榜第 95 位的 KLS 猜想，致谢里点名用了 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/
这条是引用着另一条写的：x.com/guanyangw/status/2107313180712316952