国际大厂· Xinzhi Zhang·· 2 小时前AI 评估 · 74/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
微软研究院等证明 31 年未解的 KLS 猜想
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
AI 导读
微软研究院 Xinzhi Zhang 与合著者证明 1995 年提出的 KLS 猜想，确认高维对数凹分布的最佳超平面切割与任意形状切割之差可由与维度无关的常数界定。研究采用人类主导的智能体流程，探索了 100 多条候选路径，由研究者筛选和调整方向，最终通过递归细化消除对维度的依赖。同期另有独立团队给出完整证明，并有 Lean 4 形式化验证发布。
来源：国际大厂 · microsoft.com