Microsoft Research 研究员与合作者证明 31 年前的 KLS 猜想
Microsoft Research 的 Xinzhi Zhang 与 Zhao Song 证明 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，表明对数凸分布而言最优平面割与任意形状割之差不超过与维度无关的普适常数。
推荐理由：原文详述证明路径、独立验证与 Lean 形式化，并对比了有无人类引导的 AI 探索差异，方法可借鉴。
公司与模型
Microsoft / Copilot 最新动态
微软的 Copilot 系列产品、Azure AI 云服务，以及与 OpenAI 的合作动向。
2 条精选近 30 天 2 条共收录 18 条
更新
Microsoft / Copilot的精选
Microsoft Research精选AI 评分7676
Microsoft Research精选AI 评分6767 微软亚洲研究院开源 Agent Lightning v1.0：3500 行代码的轻量级 Harnessed Agentic RL 训练框架
微软亚洲研究院发布 Harnessed Agentic RL 训练范式并开源重建的 Agent Lightning v1.0，让部署时使用的同一 agent harness 直接参与强化学习，无需在训练框架内重新实现智能体。
推荐理由：框架让部署用的真实 agent harness 直接参与 RL 训练，还给出端到端编码智能体训练管线，读者可评估是否接入现有工作流。