数学家称 AI 已证明 KLS 猜想，组合数学重大难题或被攻克

数学家 Guanyang Wang 发帖称 KLS 猜想（Kannan-Lovász-Simonovits 遗留问题）已被 AI 证明，并附上相关链接。该猜想是凸几何与理论计算机领域的著名公开难题，若属实将是 AI 辅助数学研究的标志性进展。目前仅为学界人士的单方宣称，具体证明细节尚待核实。