微软研究院发布博客称，其研究员与合著者证明了 1995 年提出的 Kannan–Lovász–Simonovits 猜想，给出与维度无关的通用常数界。该结果对高维几何、概率论与随机算法理论有基础性影响，论文关键步骤已获多个独立证明与 Lean 形式化验证支持。
微软研究院宣布证明 KLS 猜想：人机协作破解 31 年数学难题