Microsoft Research 研究员与合作者证明 31 年前的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，表明对数凸分布而言最优平面割与任意形状割之差不超过与维度无关的普适常数。
推荐理由：原文详述证明路径、独立验证与 Lean 形式化，并对比了有无人类引导的 AI 探索差异，方法可借鉴。
#推理
Microsoft Research精选AI 评分7676
Berkeley AI ResearchAI 评分4444 自适应并行推理：高效 LLM 推理扩展的下一个范式（Berkeley AI Research 分析）
Berkeley AI Research 发布对并行推理尤其是自适应并行推理（Adaptive Parallel Reasoning）的综述与观点分析，作者之一 Tony Lian 是所讨论方法 ThreadWeaver 的共同负责人。
Berkeley AI ResearchAI 评分4545 GRASP：面向世界模型长时程规划的梯度方法解析
Berkeley AI Research 发布 GRASP，一种基于梯度的规划器，使学习到的世界模型中的长时程规划变得可行。该方法将轨迹提升到虚拟状态以实现跨时间并行优化，在状态迭代中直接加入随机性以进行探索，并重塑梯度以获得清晰的动作信号，同时避免通过高维视觉模型计算脆弱的“状态-输入”梯度。