跳到正文

公司与模型

Microsoft / Copilot 最新动态

微软的 Copilot 系列产品、Azure AI 云服务,以及与 OpenAI 的合作动向。

3 条精选近 30 天 2 条共收录 18 条

11月11日 04:52更新

Microsoft / Copilot

11月11日周三第 1–3 条 / 共 3 条
  1. Microsoft Research75

    微软研究人员描述Lazarus:一种重编程AI智能体中休眠神经元后门的攻击

    微软研究人员描述了一种名为Lazarus的后门技术,该技术通过重编程大语言模型中不到10个休眠神经元,使基于该模型构建的智能体在出现隐藏触发条件时执行攻击者指令,且无需重新训练。被修改的模型仍能通过标准评估,在触发前表现正常,触发条件可以简单到只是日期变更,随后智能体会以被授予的权限运行下载的代码。作者表示,检测需要与原始权重进行差异比对,而Microsoft Foundry已将开放权重模型与其发布者绑定并扫描其容器,同时红队测试框架、基于智能体的权重扫描以及具有防篡改来源证明的签名模型正在开发中。

    推荐理由:微软研究人员表明,重编程不到10个休眠神经元即可在无需重新训练的情况下对大语言模型智能体植入后门,这使得权重来源与完整性成为一项实际的安全要求。

10月22日周四
  1. Microsoft Research64

    微软研究院与合著者证明了31年历史的KLS猜想

    微软研究员张新智(Xinzhi Zhang)与一位合著者证明了Kannan-Lovász-Simonovits(KLS)猜想——一个悬而未决31年的高维几何开放问题,表明该界可由一个与维度无关的通用常数成立。该证明源自一个人工引导的智能体过程:AI智能体探索了100多种候选方法,研究人员则对搜索进行剪枝和重新引导;而在相当token预算下用领先模型进行的另一次无引导尝试未能成功。同日另有两篇证明出现,随后还发布了Lean 4形式化。

    推荐理由:一个悬而未决31年的高维几何开放问题,通过人工引导的智能体搜索在大约100种候选方法中得到解决,并以独立证明和Lean形式化作为确认。

9月25日周五
  1. OpenClaw Blog74

    Microsoft Autopilot 基于 OpenClaw 构建,贡献双向流动

    微软推出了 Autopilot,这是一个基于 OpenClaw 构建的持久个人智能体,作为其全新 Copilot 体验的一部分,私人预览将于本月底扩展至首批客户。Autopilot 是微软今年早些时候宣布的 Microsoft Scout 的新名称,Omar Shahine 的团队表示正与 OpenClaw 及 OpenClaw 基金会合作,打造企业级运行时。OpenClaw 重点介绍了微软工程师的上游贡献,包括策略合规检查、原生 Windows 配套应用,以及针对后台任务、重启和重复回复的可靠性修复。

    推荐理由:微软的 Autopilot 基于 OpenClaw 构建,此处列出的上游贡献展示了共享智能体运行时如何跨平台改进。