KLS 猜想被宣称解决:GPT-6 与 Claude 参与证明引热议

IgorCarron · x · 2026-10-06

两篇 LLM 辅助论文声称解决了排名顶尖的应用数学难题 KLS(Kannan–Lovász–Simonovits)猜想:Zhao Song 与 Xinzhi Zhang 的 arXiv 论文(2610.01447,140 页)证明各向同性对数凹测度的 Cheeger 常数有 O(1) 上界,随后 Bizeul–Klartag–Lehec 基于其判据宣称给出完整证明。论文注明所用 AI 工具包括 "GPT-6 Astra"、"GPT-5.6 Sol"、"Claude Fable 5" 等,并有 "本论文大部分证明与数学思想由 ChatGPT 发现" 的表述。Igor Carron 转发感叹这些纪录接连被刷新。事件尚待数学界验证,但若属实将是 AI 辅助数学研究的标志性进展。