微软研究 Lazarus 后门技术：重编程休眠神经元可劫持 AI Agent
微软研究人员发现名为 Lazarus 的后门技术，重编程 LLM 中少于 10 个休眠神经元、无需训练即可让 AI Agent 在触发时执行攻击者命令，且模型仍能通过标准评测。
推荐理由：原文给出少于10个休眠神经元即可植入后门且无需训练的机制细节，可帮助读者理解权重完整性为何成为模型安全的关键。
#Microsoft
Microsoft Research精选AI 评分7474
TechCrunch · AI精选AI 评分8888 Anthropic IPO 定价每股 70 至 78 美元，隐含估值 1.404 万亿美元
Anthropic 在更新的 IPO 文件中宣布以每股 70 至 78 美元发行 8.25 亿股 A 类股，若按区间上限定价，完全摊薄后估值达 1.404 万亿美元，高于其 5 月融资时的 9650 亿美元，但低于此前据报道瞄准的 2 万亿美元。
推荐理由：原文给出定价区间、募资规模与关键财务数字，便于读者对照其估值与同期 OpenAI 融资情况。
Microsoft Research精选AI 评分6262 Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用
Microsoft Research 与 GitHub Next、RiSE 合作推出 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 规划环境中与开发者协作，把自然语言意图转成 Verus 形式化规范，自动为智能体生成的代码生成证明，证明覆盖每个输入，证明触及不到的部分则回退为测试。
推荐理由：原文完整展示了从意图到形式化规范再到证明的七步工作流，可迁移之处在于它把代码审查重心移到了意图审查。
Hugging Face Blog精选AI 评分6161 微软与 Hugging Face 开源 ThinkingBox-Training：用数据库终态检查作为 RL 奖励后训练智能体
微软与 Hugging Face 联合发布并开源 ThinkingBox-Training（microsoft/thinkingbox-training），把 ThinkingBox-Bench 中对数据库终态的可执行检查复用为 RL 训练奖励。
推荐理由：原文给出了把数据库终态检查复用为 RL 奖励的完整训练流程与开源实现，读者可据此迁移方法到自己的智能体任务集。
The Verge · AI精选AI 评分7777 微软 Diagnostic Orchestrator 诊断准确率超医生，论文发表于 Science
微软称其多智能体诊断系统 Diagnostic Orchestrator 在诊断准确率上最高可达人类医生的四倍，相关研究发表于 Science。
推荐理由：原文给出了基准构成、对照组数据和临床验证路径，读者可据此判断多智能体诊断系统与真实医疗落地之间的差距。
Microsoft Research精选AI 评分7575 Microsoft Research 研究者与 AI 协作证明 31 年悬案 KLS 猜想
Microsoft Research 机器学习与优化组的 Xinzhi Zhang 与合作者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，表明对数凹分布的最佳平面切割与任意形状切割之差不超过一个与维度无关的普适常数。
推荐理由：原文对比了无人引导的同预算尝试与人机协作的差异，可迁移地说明研究者判断在 AI 辅助证明中的作用。
Microsoft Research精选AI 评分7070 Microsoft Research 发布 zkVM Magnetar，基于标准哈希函数实现通用零知识证明
Microsoft Research 发布零知识虚拟机 Magnetar，可证明 Rust、Go 或 C 编写并按 RISC-V 架构编译的程序执行，在笔记本上每秒证明 7.2 至 8.7 million 条处理器指令，在 15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍，证明验证约 12 毫秒。
推荐理由：原文梳理了零知识证明普及的三大障碍及 Magnetar 分别如何应对，便于读者判断其技术路线取舍。
NVIDIA Blog精选AI 评分6767 NVIDIA RTX Spark 发布在即，生态伙伴推出本地智能体软件与模型更新
NVIDIA 宣布 RTX Spark 笔记本将于 10 月 16 日（周五）上市，最高配备 128GB 统一内存和 1 petaflop AI 算力，官方与生态伙伴同步推出面向本地 AI 智能体的软件与模型更新。
推荐理由：原文系统梳理了 RTX Spark 发布前后生态软件、模型与工具的更新清单，读者可据此判断本地 AI 智能体在 PC 上的落地路径。
Latent Space精选AI 评分7878 Anthropic 发布 Claude Haiku 5.5，定价对标 GPT-6 Luna
Anthropic 发布 Claude Haiku 5.5，定价与 OpenAI GPT-6 Luna 完全一致，官方称其为迄今最便宜、最快、最强的小模型，平均运行成本比 Haiku 4.5 低约 75%，同日还下调了 Sonnet 5.5 缓存读取价格（$0.20 降至 $0.10 per 1M tokens）。
推荐理由：汇总了第三方评测的分数与token消耗数据，读者可据此判断低价小模型的真实性价比。
NVIDIA Blog精选AI 评分7272 NVIDIA 与 Microsoft 联合推出 RTX Spark 笔记本并预热 DGX Station for Windows
NVIDIA 与 Microsoft 在旧金山 Windows AI and Surface 活动上宣布共同为 Windows PC 打造 AI 智能体的软硬件，RTX Spark 笔记本今日开启预售、10 月 16 日上市，紧凑型台式机 11 月开售。
推荐理由：原文给出具体硬件规格与开放购买时间，读者可据此判断本地运行大模型的可行性。
Microsoft Research精选AI 评分6161 Microsoft Research 开源 Agent Lightning v1.0：约 3,500 行代码的 agentic RL 框架
Microsoft Research Asia 提出 Harnessed Agentic RL 训练范式并开源 Agent Lightning v1.0，让部署所用的 agent harness 直接参与强化学习。
推荐理由：原文给出了训练范式、系统架构与实测数据，读者可据此评估它如何让部署用的 agent harness 直接参与 RL 训练。
Hugging Face Blog精选AI 评分7474 Microsoft ThinkingBox 发布：按数据库终态评测智能体的基准与沙箱
Microsoft 与 Hugging Face 联合发布 ThinkingBox 沙箱与 ThinkingBox-Bench 基准，按智能体留下的后端终态与副作用而非其自述来打分，覆盖 507 个有状态业务工作流，每个任务独立运行 20 次。
推荐理由：文章用可执行的状态检查揭示工具调用正确不等于结果正确，并给出可复现的评测环境与复现步骤。
The Decoder精选AI 评分8181 OpenAI 在 DevDay 2026 发布常驻智能体 Dots 与 GPT-6.1 Sol 模型
OpenAI 在 DevDay 2026 开发者大会发布常驻智能体 Dots，可自主处理工作事务，每个 Dot 拥有独立云电脑和浏览器，通过插件连接 4,000 多个应用，运行于 GPT-6 Astra，可在 ChatGPT、Slack 和 Microsoft Teams 中使用并跨渠道保留上下文。
推荐理由：原文对比了 Dots 与 Meta Muse 的异同并列出权限与地区限制，读者可据此判断其可用范围。
TechCrunch · AI精选AI 评分7878 OpenAI 在 Dev Day 发布 Space、Pages 等 ChatGPT 办公套件功能
OpenAI 在旧金山 Dev Day 开发者大会上发布多项面向办公场景的 ChatGPT 新功能，包括共享工作区 Space、文档工具 Pages 和协作幻灯片 collaborative slides。
推荐理由：原文点出 OpenAI 与 Microsoft 在办公软件上的双向竞争，读者可据此理解这次发布在行业格局中的位置。
Microsoft Research精选AI 评分6262 微软研究院发布 Quine：面向生物学复杂性的 AI 研究系统
微软研究院发布 Quine，一个面向生物学复杂性的 AI 研究系统，由生物世界模型和连接模型、科学工具、文献与实验的交互式 harness 组成。该系统与 Broad Institute 合作用于胰腺导管腺癌研究，预测并优先排序数千种化合物，从缩小搜索空间到选出候选化合物仅用一个周末，湿实验验证中排名最高的化合物产生了最大的预期细胞状态转变。
推荐理由：微软研究院公开 Quine 的多模态生物世界模型与实验闭环，读者可了解 AI 参与药物发现的具体流程与验证结果。
AWS Machine Learning Blog精选AI 评分6060 xAI 的 Grok 4.7 上线 Amazon Bedrock
xAI 的 Grok 4.7 已在 Amazon Bedrock 上线，提供 500K token 上下文窗口和 low、medium、high、xhigh 四档可配置推理强度，通过 bedrock-runtime 端点的跨区域推理配置文件提供服务，支持 Responses、Chat Completions 和 Converse API。
推荐理由：Grok 4.7 上线 Amazon Bedrock 的接入方式与四档推理强度配置，可供评估长任务智能体的成本与延迟取舍。
Microsoft Research精选AI 评分6262 微软研究：将物理 AI 推理卸载到边缘或云端可提升机器人性能与续航
微软研究院对移动机器人操作负载的系统性测量显示，把物理 AI 推理从机载 GPU 卸载到边缘或云端 GPU 可提升任务表现并延长续航。
推荐理由：微软对机器人推理负载的系统性测量显示，把推理从机载 GPU 卸载到边缘或云端可提升任务成功率与续航，并给出可复用的 Kubernetes 工具链。
GitHub Blog · AI & ML精选AI 评分7575 GitHub 用 Copilot 将 Copilot 运行时迁移到 Rust 的实践复盘
GitHub 工程师 Stephen Toub 复盘用 GitHub Copilot 把 Copilot agent runtime 从 TypeScript 重写为超过 80 万行生产级 Rust 的过程，代码主要由 AI 智能体编写，横跨 128 个 PR 并增量上线，性能提升数个数量级。
推荐理由：GitHub 工程师复盘用 Copilot 把运行时从 TypeScript 迁到 Rust 的全过程，含多智能体协作与提示缓存数据。
Microsoft Research精选AI 评分7474 Microsoft Research 开源可扩展智能体框架 Orchard
Microsoft Research 开源智能体框架 Orchard，核心是可复用的 Kubernetes 环境服务 Orchard Env，支持在 Codex、OpenClaw、ZeroClaw 等真实部署 harness 内直接训练智能体，并同步发布训练数据与评测方法。
推荐理由：原文给出三个领域的训练配方与具体分数，读者可据此评估小参数开源模型在真实任务上的能力边界。
Microsoft Research精选AI 评分7474 Microsoft Research 发布 Echoverse：面向计算机使用智能体的深度可演化训练环境
Microsoft Research 发布 Echoverse，一套面向计算机使用智能体的深度可演化训练环境，包含十个深度领域世界和两个能力世界，并开源其中四个世界的代码、数据与数据库接地验证器。
推荐理由：原文用对照实验说明深度与多样性比环境数量更能带来迁移，可为构建计算机使用智能体训练环境提供方法参考。