微软研究院发布 Magnetar：基于证明的通用计算 zkVM
微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的程序执行，在笔记本上每秒证明 7.2 至 8.7 百万条 RISC-V 指令，15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院公开 Magnetar zkVM 的设计与基准，读者可了解零知识证明在通用程序上的效率与密码学取舍。
#部署/工程
Microsoft Research精选AI 评分7171 AWS Machine Learning BlogAI 评分4848 AWS 推出 Trust in Depth：让 AI 智能体获得更多自主权而不失控
AWS 提出 Trust in Depth 框架，用独立分层的可验证信任机制让 AI 智能体在规则可证明时自主行动、仅在真正需要判断时交给人。该框架围绕 Scope、Know、Bound、Observe 四个生命周期环节，并复用 AWS 已运行十余年的自动推理技术，覆盖 IAM 每秒超 21 亿次请求等生产系统。
AWS Machine Learning BlogAI 评分3030 Amazon SageMaker AI 上的 MoE 内核工程优化实践
针对 MoE 模型在 Amazon SageMaker AI 上的内核工程优化，通过 Swap-AB 转置让 Hopper 的 WGMMA 指令充分利用专家维度（N=8192），在 H200 上实现端到端输出吞吐提升 2–4%，该优化已合入 vLLM 0.24.0 及以上版本。
AWS Machine Learning Blog精选AI 评分6060 在 Amazon Bedrock 上用 Grok 4.7 构建长时程智能体
AWS 发布教程，介绍如何在 Amazon Bedrock 上基于 SpaceXAI 的 Grok 4.7 构建工具调用智能体，并评测其 reasoning effort 分档表现。
推荐理由：AWS 官方给出 Grok 4.7 在 Bedrock 上搭建工具调用智能体的完整评测方法，含 72 次运行的分档对比与生产监控思路。
NVIDIA BlogAI 评分2222 NVIDIA DLSS 4.5 控制选项上线 GeForce NOW
NVIDIA DLSS 4.5 控制选项已在 GeForce NOW 上线，支持 Windows、macOS、Chrome OS 和 Steam OS，Ultimate 会员在 GeForce RTX 5080 云主机上可使用最高 4X 的 Dynamic Multi Frame Generation。
NVIDIA BlogAI 评分2222 NVIDIA 通过开放学习资源、合作与算力扩展欧洲科研界先进技术获取
NVIDIA 加入欧盟委员会在都柏林 AI in Science Summit 上启动的 AI in Science Enablers Initiative，为欧洲科研界提供加速工具、算力、培训与创业支持。
NVIDIA BlogAI 评分2222 NVIDIA 与北欧如何展示区域级先进计算的落地路径
北欧正加速建设欧洲重要科技生态，预计到 2027 年底部署 1 吉瓦 AI 云容量，Bitdeer、CoreWeave、Crusoe、Nscale 等云厂商参与其中。
AWS Machine Learning BlogAI 评分3636 用 Amazon Bedrock AgentCore 构建自改进文档处理系统
亚马逊云科技介绍如何用 Amazon Bedrock AgentCore 构建智能体式 IDP 系统，由 8 个专用智能体组成识别与训练两条图工作流，自动分类、提取、校验并从新文档格式中学习。
AWS Machine Learning BlogAI 评分3232 用 Amazon Bedrock AgentCore 生成演示文稿
基于 Amazon Bedrock AgentCore 的 AI 智能体系统可自动生成 PowerPoint 演示文稿，内部测试中不到 90 秒完成。
AWS Machine Learning BlogAI 评分2222 Tamnoon 如何用 Amazon Bedrock 构建 AI 云安全修复平台 Tami
Tamnoon 基于 Amazon Bedrock 构建了智能体云修复编排器 Tami，可自主调查 CNAPP 等来源的安全发现并评估修复安全性，再生成带护栏和回滚指引的修复方案。该方案在 90 天内将关键云暴露减少超过 90%，且零生产事故。Tami 由调查、安全评分、修复和代码生成四个专用智能体组成，通过单一 API 按任务调用不同基础模型。
AWS Machine Learning BlogAI 评分2222 如何用 Amazon SageMaker JumpStart 部署并评测模型
Amazon SageMaker JumpStart 支持从模型目录部署预训练模型，并用 SageMaker Python SDK 跑轻量可复现的性能测试，测完删除端点。
NVIDIA BlogAI 评分2222 NVIDIA 宣布投资 Boltz、Foresight、Hiverge、Prima Mente 和 Riverlane 等英国初创企业
NVIDIA 宣布对 Boltz、Foresight、Hiverge、Prima Mente 和 Riverlane 五家英国 AI 与量子计算初创企业进行新投资，并作为 Global Alliance Founding Partner 与 Earthshot Prize 合作。
NVIDIA BlogAI 评分2222 欧洲多城部署 NVIDIA 驱动的 AI 智能体，推进城市运营智能化
欧洲多国城市正联合 ABA Technology、Akila、K2K、Milestone 等软件伙伴，用 NVIDIA 加速计算、Cosmos 与 Nemotron 开放模型及 Metropolis VSS 蓝图构建物理 AI 智能体和数字孪生，用于交通、能源、公共安全等城市运营。
AWS Machine Learning Blog精选AI 评分6060 Anchor Browser 集成 AgentCore payments，让 AI 智能体自动完成 x402 付费
Anchor Browser 与 Amazon Bedrock AgentCore payments 集成，让 AI 智能体在浏览器会话内自动处理 x402 协议的 HTTP 402 付费请求，该方案已在 AWS Marketplace 上线。
推荐理由：原文给出 Anchor Browser 与 AgentCore payments 的集成方式，读者可据此判断智能体自动支付付费网页与 API 的落地路径。
GitHub Blog · AI & MLAI 评分3737 GitHub 如何用 ModernBERT 分类器减少密钥扫描误报
GitHub 为密钥扫描训练了专用的 ModernBERT 分类器，替代此前的 LLM 流水线，用户对告警的接受度提升 11.5%，推送后扫描中位执行时间降低 86%，服务成本节省超过 98%。
AWS Machine Learning BlogAI 评分2222 用托管权益管理 Amazon Bedrock 的私有定价优惠
Amazon Bedrock 的托管权益（managed entitlements）支持从中心账户订阅一次第三方 AI 模型，再把访问权限分发到组织内多个 AWS 账户。
AWS Machine Learning BlogAI 评分2424 Orca Security 如何用 Amazon Bedrock 实现自然语言安全查询
Orca Security 与 AWS 合作在 Amazon Bedrock 上构建了自然语言查询智能体 Discovery AI，可将自然语言问题转换为 Sonar 查询。
AWS Machine Learning BlogAI 评分3434 ShipStation Global 如何用 Amazon Bedrock AgentCore 打造 AI IT 服务台 Deckhand
ShipStation Global 工程团队基于 Amazon Bedrock AgentCore 构建了 Slack 内的 AI IT 服务台 Deckhand，可解答常规 IT 问题、识别报错截图并创建和更新 Jira Service Management 工单。
NVIDIA Blog精选AI 评分8080 NVIDIA RTX Spark 笔记本上市，生态伙伴同步更新本地 AI 软件
NVIDIA 与微软此前宣布 RTX Spark 笔记本将于 10 月 16 日（周五）上市，配备最高 128GB 统一内存和 1 petaflop AI 算力，生态伙伴在上市前推出面向本地 AI 的软件更新。
推荐理由：原文列出 RTX Spark 首发时本地智能体、模型与开发工具的适配清单，可据此判断本地 AI 工作流的可用边界。
NVIDIA Blog精选AI 评分6262 NVIDIA 在 OCP 全球峰会开放 Vera Rubin 架构并发布多项 AI 工厂合作
NVIDIA 在 OCP 全球峰会上通过开放的 NVIDIA MGX 架构，向 OCP 贡献了 Vera Rubin 机架和计算托盘设计，为系统构建商提供开发下一代 AI 工厂基础设施的共同基础。
推荐理由：NVIDIA 在 OCP 峰会上把 Vera Rubin 机架与计算托盘设计开放给 MGX 架构，读者可据此了解 AI 工厂基础设施的开放标准进展。
NVIDIA BlogAI 评分2222 NVIDIA Omniverse 如何用前沿 AI 智能体把创意变成仿真应用
NVIDIA 开发者用 GPT-6 Astra 等前沿 AI 模型配合 Omniverse 库，通过自然语言指令构建仿真应用。仓库仿真在 80 个传送带、40 个机械臂和 800 个箱子场景下以全高清 30 帧每秒运行两分钟，机械臂完成 640 次成功放置。另有开发者用 Claude Fable 5 智能体对比 ovrtx 相机与原始 LiDAR 输出和录制数据。
GitHub Blog · AI & ML精选AI 评分6262 GitHub 推出基于 ModernBERT 的密钥检测模型，将 push 防护扩展到非结构化密钥
GitHub 发布与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器，用代码上下文识别数据库密码、Kubernetes Secret、Dockerfile 等非结构化密钥，候选批次评估耗时低于 2 毫秒，可将可拦截的密钥数量提升一倍以上。
推荐理由：GitHub 用九个季度数据说明密钥泄露与代码量同步增长，并给出用分类器把防护前移到 push 环节的思路。
Microsoft Research精选AI 评分7171 微软开源 Agent Lightning v1.0：3500 行轻量级 Agentic RL 框架，支持真实 harness 训练
微软研究院开源 Agent Lightning v1.0，一个约 3500 行代码的轻量级 Agentic RL 框架，提出 Harnessed Agentic RL 范式，让部署时使用的 agent harness 直接参与强化学习，无需在训练框架内重新实现 agent。
推荐理由：微软开源 3500 行 Agent RL 框架，给出真实 harness 训练与 Kubernetes 部署路径，可迁移到自有智能体训练流程。
Microsoft ResearchAI 评分3232 微软研究院用机器学习预测电网空间天气风险，覆盖美国 66,935 座变电站
微软研究院实习生开发了一套端到端机器学习系统，可提前 30-60 分钟为美国本土 66,935 座变电站生成位置级空间天气风险估计。该系统结合 AE 与 Dst 指数预报、纬度、地质电导率和电网数据，在 2020-2026 评估期内检测到近 80% 的重大空间天气事件，其中 Dst 预测在 62.2% 的高活跃时段优于 Burton 方程。
GitHub Blog · AI & MLAI 评分3838 GitHub Copilot 为什么说聊天框是错的 UI：用 canvas 构建自定义交互界面
GitHub Copilot 应用推出 canvas，一种运行在应用内、无浏览器外壳的全栈小应用，可与 Copilot 智能体双向通信，并能在本地执行代码、调用第三方 API。文中演示了用 canvas 做 Connect 4 游戏、Winget 包管理界面和 SQLite 操作界面，认为智能体应构建工具而非充当工具，以避免浪费 token。
Microsoft Research精选AI 评分6262 微软研究院：把物理 AI 推理卸载到边缘或云端可提升机器人表现与续航
微软研究院对移动操作机器人工作负载做了系统性测量，发现把物理 AI 推理从机器人端侧 GPU 卸载到边缘或云端 GPU，可提升任务成功率、支持更大的模型并延长电池续航。
推荐理由：微软研究院系统测量了机器人端侧推理的瓶颈，并给出可复用的卸载工具链，读者可据此判断物理 AI 的部署取舍。
Berkeley AI Research精选AI 评分6060 从 CUDA 到 MLX：K-Search 如何把数十年内核经验带到 Apple Silicon
Berkeley AI Research 与 IBM Research 将 K-Search 进化式内核搜索框架扩展到 MLX，通过结构化 CUDA-to-MLX 翻译层把已有 CUDA 内核作为知识库，在 Apple Silicon 上生成高质量内核。
推荐理由：K-Search 把 CUDA 内核优化经验迁移到 Apple Silicon，给出注意力与 Mamba 两类内核的实测数据，可看跨平台迁移方法。
Berkeley AI ResearchAI 评分3434 智能免费之后怎么办？面向、属于、由 AI 智能体构建的数据系统
伯克利 EPIC Data Lab 提出近零推理成本时代数据系统面临三大挑战：面向智能体（For Agents）、属于智能体（Of Agents）、由智能体构建（By Agents）。
Berkeley AI ResearchAI 评分3434 自适应并行推理：高效推理扩展的下一个范式
伯克利 AI 研究团队梳理了并行推理领域进展，重点分析自适应并行推理——让模型自行决定何时分解并并行化独立子任务、生成多少并发线程以及如何协调。现有方法如 Self-consistency、Best-of-N、Tree of Thoughts、MCTS、ParaThinker、GroupThink、Hogwild! Inference 的并行结构多由外部设定，未教会模型自适应行为。