微软研究院:破解 31 年 KLS 猜想,CompactionBench 降编码成本
Microsoft Research · rss · 2026-11-13
Microsoft Research Focus 第 98 期播客/视频汇总了多项最新研究进展:
- KLS 猜想获解:悬置 31 年的高维几何中心难题被新研究解决——对数凹分布存在普适原理,简单平割可在固定因子内找到最窄瓶颈,与维度无关。证明已独立验证并经计算机辅助形式化验证,扫除了理解随机算法效率的一大理论障碍。
- 编码 agent 上下文压缩:分析 1350 万次编码会话发现,仅不到 8% 需要上下文压缩,却占总 AI 处理成本的 44%。团队据此发布 CompactionBench 基准,并提出 APEC 方法在后台预生成摘要而不打断 agent 工作,成本最多降 25.4%、执行时间降 9.6%。
- 多语言分词:提出 Latent Core Tokenizer(LCT),先识别词的可复用组件再构建跨语言共享词表,在 104 种语言评测中产出更有语言学意义的 token,并在四个多语言基准上提升模型表现,说明分词质量不止看压缩率,还要保留语言结构。
- AI 语音翻译:应用科学经理 Jinyu Li 谈 AI 如何让通用翻译器更接近现实。
- 另有东京研究院实习项目(计算机视觉→物理智能)等内容。
「研究」频道最新
- Dejan 用 Gemini 跑 19 万品牌调研，总成本仅 391 美元 — dejanseo · 2026-11-13
- Galaxea 联创清华赵行 CoRL 演讲：机器人智能按时间尺度分 System 2/1/0 — YuXiang_IRVL · 2026-11-13
- 梅西会议史料整理：控制论如何塑造 AI 思想源头 — ArtificialOther · 2026-11-13
- vismatch 开源：统一 API 串起 50+ 图像匹配模型，已获 943 星 — gabriberton · 2026-11-13
- 斯坦福提出 SSD 蒸馏法：训练 token 省 38-69% 且遗忘更少 — khademinori · 2026-11-13
- EEPO 用「采样后遗忘」干预破解 RLVR 训练中的多样性坍缩 — burkov · 2026-11-13