Microsoft Research· Xinzhi Zhang·· 7 小时前精选AI 评分85
Microsoft Research 研究者证明提出 31 年的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
Microsoft Research 研究者与合作者证明了提出于 1995 年的 Kannan–Lovász–Simonovits（KLS）猜想，证明相关几何界可由与维度无关的普适常数限制。研究者与 AI 智能体协作探索了约 100 条研究路径，并通过递归改进完成证明；另有独立证明和 Lean 4 形式化验证提供确认。
推荐理由
KLS 猜想的证明将维度相关的界收束为与维度无关的常数，并给出人类引导 AI 探索数学思路的具体过程。
来源：Microsoft Research · microsoft.com