数学家称 AI 已证明 KLS 猜想

2026年10月6日，数学家 Guanyang Wang 在社交平台发帖称，KLS 猜想（Kannan-Lovász-Simonovits 遗留问题）已被 AI 证明，并附上相关链接。KLS 猜想是凸几何与理论计算机科学领域的著名公开难题，长期悬而未决；若该宣称属实，将成为 AI 辅助数学研究的标志性进展。截至目前，这一说法仅为该学界人士的单方宣称，报道未给出证明的具体内容，其有效性与细节尚待同行核实，也没有其他来源或机构对此加以确认。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。