张新知与赵松报告称，借助人类指导的 AI 证明了 KLS 猜想

微软研究院的张新知及其合作者赵松报告称，他们证明了提出 31 年的 Kannan–Lovász–Simonovits（KLS）猜想，为对数凹分布建立了一个与维度无关的通用界。 据微软研究院介绍，研究人员引导 AI 智能体探索了 100 多种候选方法，随后通过递归改进完成证明。他们的论证表明，各阶段引入的小误差缩减得足够快，因此总误差仍受一个通用常数限制。微软研究院还介绍了独立完成的证明，以及随后进行的 Lean 4 形式化工作；该工作将作者的关键判据与其他研究成果结合起来。

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

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