微软研究院宣布攻克悬置 31 年的 KLS 猜想
LesterMackey · x · 2026-10-22
微软研究院宣布，研究员 Xinzhi Zhang 与合作者结合新数学思想与「人类主导的 AI」，证明了高维几何与概率领域的核心难题——KLS 猜想（Kannan-Lovász-Simonovits）。这一问题自 1990 年代提出以来 resisted proof 长达 31 年。
KLS 猜想关乎高维计算效率的一个基本问题，其解决移除了理解随机算法效率的一大障碍，而随机算法贯穿科学与计算的众多领域。这是一项基础数学层面的突破，也展示了人机协作推进基础科学的可能。
「研究」频道最新
- 五实验室联合开源 OpenTac：任意机器人表面 3D 触觉传感全栈生态 — _krishna_murthy · 2026-10-22
- 持续学习缺个 L0.5：agent 状态四层模型引出权重与上下文之间的空白 — willcb · 2026-10-22
- JOLT 机制拆解:同一模型师徒双角色,防老师走捷径 — perplexity_ai · 2026-10-22
- Perplexity 发布 JOLT:训练 token 只需 GRPO 的 1/6.5 — perplexity_ai · 2026-10-22
- PDD 蒸馏发布月余即被阿里、NVIDIA 等六家团队采用 — ArashVahdat · 2026-10-22
- RFD4-Proteina 蛋白设计：DNA 结合子通过率 3.5% vs 基线 0.8% — AllThingsApx · 2026-10-22