悬置 30 年的 KLS 猜想被证明，arXiv 论文注明使用了 AI

felpix_ · x · 2026-10-06

arXiv 出现论文《Presenting a proof of the Kannan-Lovasz-Simonovits conjecture》（arXiv:2610.05474），作者 Pierre Bizeul、Boaz Klartag、Joseph Lehec，宣布证明高维几何领域与 Bourgain 切片问题、方差猜想并列的三大驱动性难题之一 KLS 猜想。关键一步依托 Song 与 Zhang 最近提出的关于倾斜平均高阶导数的判据。论文 32 页，注释中特别注明「含一段描述 AI 使用的文字」。有推文称共有三个团队同日解决相关证明，并提及前 NFL 球员出身（MIT 数学博士、教授）的数学家与 AI 的关联，引发热议。