Microsoft Research· Xinzhi Zhang· 机构原始发布·· 5 天前精选
微软研究团队证明31年悬案KLS猜想，人指导AI完成高维几何突破
原文标题
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院Xinzhi Zhang与合作者证明了1995年提出的Kannan-Lovász-Simonovits（KLS）猜想：对对数凹分布，最佳平坦切割与任意形状切割的差距总被一个与维度无关的常数界定。研究者用AI智能体探索了约100条候选路径，由人筛选方向，最终通过递归细化与误差有界性论证完成证明；同日另有两组独立证明与Lean 4形式化验证发布。
来源：Microsoft Research · microsoft.com
导读与选稿说明
解决了高维几何与概率论31年核心公开问题，把此前随维度缓慢增长的界收紧为维度无关常数，使大量依赖该猜想假设的结果可无条件陈述；同时提供了人指导AI做数学研究的可复用流程对照。
导读由模型辅助整理，非独立核验。完整信息见原文。