两篇 AI 辅助论文宣称解决 KLS 猜想
悬置近 30 年的 Kannan–Lovász–Simonovits（KLS）猜想疑似被攻克：10 月 6 日，arXiv 上同日出现两篇宣称解决该猜想的论文，且都注明使用了大语言模型辅助，引发广泛讨论。
已确认
- arXiv 论文《Presenting a proof of the Kannan-Lovasz-Simonovits conjecture》（arXiv:2610.05474）由 Pierre Bizeul、Boaz Klartag 发表；据 Reddit 帖子转述，论文称 ChatGPT 提供了证明背后的大部分想法与思路，作者的工作主要是理解和阐释。
- Zhao Song 与 Xinzhi Zhang（微软研究院）在 arXiv 发表 140 页论文《An O(1) Bound for the KLS Constant…》（arXiv:2610.01447），证明各向同性对数凹测度的 KLS 常数具有 O(1) 上界。
- @michaelchchoi 转述数学家 Guanyang Wang 发帖称 KLS 猜想已被 AI 证明并附论文链接。
- @IgorCarron 指出两篇论文均为 LLM 辅助，并提到 GPT-6 与 Claude 参与证明。
- @DrSingularity 在其推文下补充了论文链接供查证。
尚未确认
- 两篇论文均为研究者宣告，尚未经同行评审验证；@DrSingularity 也明确提示该说法未经确认。
- ChatGPT/LLM 在证明中的实际贡献程度（论文作者自述「多数思路来自 ChatGPT」）有待社区核实。
为什么重要
- KLS 猜想自 1995 年提出，是凸几何与理论计算机科学的著名公开难题，与概率、优化、随机采样和高效计算搜索有深层联系。
- 若证明成立且 LLM 贡献属实，将是 AI 辅助数学研究的标志性进展，意味着顶尖应用数学难题的攻坚方式可能被重塑。
2026-10-06 ~ 2026-10-06 · 7 条相关
一手来源
- 悬置 30 年的 KLS 猜想被证明，arXiv 论文注明使用了 AI — felpix_ ·
- 困扰数学界多年的 KLS 猜想被证明：Zhao Song 与 Xinzhi Zhang 发文 — basedjensen ·
- Reddit：新论文称 ChatGPT 给出了 KLS 猜想证明的大部分思路 — 141_1337 ·
- 数学家称 AI 已证明 KLS 猜想,组合数学重大难题或被攻克 — michaelchchoi · 2026-10-06
- 【源头】Reddit：新论文称 ChatGPT 给出了 KLS 猜想证明的大部分思路 — 141_1337 · 2026-10-06
- 【源头】悬置 30 年的 KLS 猜想被证明，arXiv 论文注明使用了 AI — felpix_ · 2026-10-06
- KLS 猜想被宣称解决:GPT-6 与 Claude 参与证明引热议 — IgorCarron · 2026-10-06
- 传 ChatGPT 助攻证明 30 年未解的 KLS 猜想 — Dr_Singularity · 2026-10-06
- AI 助攻 KLS 猜想证明的论文链接放出 — Dr_Singularity · 2026-10-06
- 【源头】困扰数学界多年的 KLS 猜想被证明：Zhao Song 与 Xinzhi Zhang 发文 — basedjensen · 2026-10-06