微软研究揭示 Lazarus 后门：改写不到 10 个休眠神经元即可控制 AI 智能体
微软研究者发现名为 Lazarus 的后门手法，只需对 LLM 中不到 10 个休眠神经元做权重改写、无需训练，就能让智能体在隐藏触发条件出现时执行攻击者命令，例如时钟跨入 2027 年后下载并运行攻击者代码。
推荐理由：微软研究者披露仅改写不到 10 个休眠神经元即可给智能体植入后门，并给出权重溯源与扫描的防御思路。
公司与模型
Microsoft / Copilot 最新动态
微软的 Copilot 系列产品、Azure AI 云服务，以及与 OpenAI 的合作动向。
5 条精选近 30 天 3 条共收录 32 条
更新
Microsoft / Copilot的精选
Microsoft Research精选AI 评分7878
Microsoft Research精选AI 评分7575 微软研究院等证明 31 年悬而未决的 KLS 猜想
微软研究院机器学习与优化组研究员 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明该关系在高维下由固定常数界定，与维数无关。
推荐理由：微软研究员与合著者借助人类引导的智能体搜索证明 KLS 猜想，读者可了解人机协作推进数学证明的具体流程。
Microsoft Research精选AI 评分6767 微软研究院推出 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程，安全性仅依赖 SHA-256、SHA-3 等标准哈希函数。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何同时兼顾速度、通用性与标准哈希函数安全性。
Microsoft Research精选AI 评分7171 微软研究院开源 Agent Lightning v1.0：3500 行代码的轻量智能体 RL 框架
微软研究院开源 Agent Lightning v1.0，一个约 3500 行代码的智能体强化学习框架，提出 Harnessed Agentic RL 范式，让部署时使用的 agent harness 直接参与训练，无需在训练框架内重写智能体。
推荐理由：微软研究院开源的重建版框架把训练与部署用的同一套 harness 打通，并给出小样本提升编码智能体的完整流程。
GitHub Blog · AI & ML精选AI 评分6060 GitHub 发布 AI 代码审查开放基准 ReviewBench
GitHub 发布 AI 代码审查开放基准 ReviewBench，基于 103.9M 条 GitHub PR 的分布特征，构建了覆盖 19 种语言、219 个公开 PR 的评测集。
推荐理由：GitHub 公开了 ReviewBench 的构建方法、评分规则和 96.6% 的人工一致性数据，读者可据此判断 AI 代码审查评测的可复现程度。