NVIDIA 在 KubeCon + CloudNativeCon 上宣布把用于保障和治理自主智能体的开源运行时 NVIDIA OpenShell 捐给 Cloud Native Computing Foundation（CNCF），作为 Sandbox 项目由社区治理。
推荐理由：NVIDIA 把智能体安全运行时捐给 CNCF，并给出 Kubernetes 上部署与推理加速的配套组件，可观察开源治理与工程落地路径。
Google DeepMind 发布 AlphaProof Code，一个由多个 LLM 智能体组成的形式化验证框架，用 AI 智能体对 Signal 协议实际运行的代码做数学证明，验证其关键安全属性。
推荐理由：DeepMind 用多智能体框架对 Signal 协议实际代码做形式化验证，四周完成过去需数年的工作，并开源验证产物。
AWS Quick 通过智能体与技能机制让可重复任务只需描述一次即可复用。智能体拥有独立指令、知识空间和连接器，可限定访问范围并共享给团队；技能是可复用的指令集，系统技能支持生成 Word、PowerPoint、Excel、PDF 文档，以及网页浏览、代码执行、深度研究、音视频转写和图像生成。
Amazon Bedrock Managed Knowledge Base 通过 AgenticRetrieveStream 新增单次 RAG 与仅检索两种模式，maxAgentIteration 范围扩展至 0–5。
AWS 宣布 Claude Fable 5.2 和 Claude Mythos 5.2 在 Amazon Bedrock 与 Claude Platform on AWS 上可用，其中 Fable 5.2 面向编码、数学与科研等技术工作，Mythos 5.2 仅通过 Anthropic 的验证计划开放网络安全与生命科学场景。
推荐理由：原文交代了两款模型在 Amazon Bedrock 的上线范围、数据保留要求与迁移方式，可据此判断接入成本。
NVIDIA Nemotron 3.5 Super VL 已在 Amazon SageMaker JumpStart 上线，可通过 SageMaker Studio 或 Python SDK 部署。
AWS 提出 Pluggable Agentic AI Framework，一套在 Amazon Bedrock AgentCore 上运行、面向多智能体应用的七层可组合参考架构，覆盖数据与知识、模型与推理、编排、安全与护栏等层。各层通过稳定契约解耦，模型路由可借助 LiteLLM 在供应商间切换，专家智能体经 MCP 与 A2A 协议由集中注册表发现和调用。
NVIDIA 在 CoRL 上发布基于 Cosmos 构建的开放世界动作模型 GR00T 2，以及 Isaac Lab 3.0、Isaac Lab-Arena 0.4 等开源机器人技术。
推荐理由：原文给出 GR00T 2 的少样本成功率与 Isaac Lab 3.0 的训练吞吐对比，可据此判断仿真训练在精细操作上的进展。
Amazon SageMaker Inference 新增 GPU 分区能力，基于 NVIDIA MIG 把单块 GPU 切成最多 7 个硬件隔离分区，每个分区可独立部署不同模型。
NVIDIA 发布 Vera CPU，称其在 100 兆瓦数据中心对比中同时优于最快的 x86 CPU 和最节能的 x86 CPU。相比最快的 x86 CPU，Vera 每瓦可支持 1.6 倍智能体数量；相比最节能的 x86 CPU，智能体速度提升 2 倍。
Google DeepMind 发布 Gemini Omni 1.2 Flash，原生视频生成时长从 Omni 1.1 的 10 秒提升到 15 秒，并已在 Gemini API 和 Gemini for business 全面开放。
推荐理由：官方给出 15 秒原生生成、多轮对话编辑与 30% 降价的具体变化，可据此判断视频生成成本与工作流。
微软研究院联合 GitHub Next 发布研究原型 PDD Kit，把用户意图转成 Verus 形式化规范，再证明编码智能体生成的代码对每个输入都满足该规范，证明覆盖不到的部分回退到测试。
推荐理由：微软研究院与 GitHub Next 合作的研究原型，展示如何把智能体生成的代码从逐行审查转向意图审查加形式化证明。
Google DeepMind 为 Google Antigravity 推出 Cheminformatics Skills，把该产品变成面向计算化学家和实验化学家的科学工作台。
推荐理由：原文给出一个完整药物发现工作流演示，读者可据此判断智能体在化学数据整理与分子设计中的实际分工。
Google DeepMind 与英国政府合作开发的 AI 规划工具 PlanAssist 将扩展至另外 12 个英格兰地方规划部门，使参与总数达到 15 个。
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长程任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：官方给出 Carbon 在网络安全与长程智能体任务上的基准和定价，可对照两周前发布的 Argon 看迭代节奏。
Google DeepMind 发布世界模型 Genie 4，可实时生成带原生音频的交互式模拟世界，并以研究预览形式向可信测试者开放。Genie 4 支持用自然语言实时修改天气、镜头和场景元素，能模拟空气动力学、碰撞等物理场景以及人物动作与对话。
推荐理由：官方说明了 Genie 4 的原生音频、实时可控与 Gemini 协同推理，读者可据此判断世界模型当前的能力边界。
微软研究院发布 Flint-interactive，一种构建在 Flint 之上的交互式数据可视化语言，让智能体生成可点击、筛选、缩放和跨图表联动的图表。它把点击、拖拽等原始触发解析为语义事件，用户只需用高层算子描述更新行为，布局与渲染依赖由 Flint 编译器处理。
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布 Forest Typology（ForTy）2020，把全球每一块 10×10 米土地归入六类森林与土地利用类型，并给出 2017 至 2025 年的逐年变化序列。
微软研究院张新志等研究者证明了1995年提出的KLS猜想，确认对一大类高维概率分布，最佳平面切割与任意形状最佳切割的效果差距不超过一个与维度无关的固定常数。作者在人类主导的智能体搜索流程中探索了100多条候选路径，由研究者筛选和调整方向，最终通过反复递归应用新判据完成证明；同期另有独立团队给出完整证明，并有Lean 4形式化验证。该结果使此前依赖该猜想作为假设的结论可以无条件成立。
推荐理由：这篇论文用人类主导的智能体搜索证明了一个悬置31年的几何猜想，读者可据此了解人机协作做数学研究的实际分工。
Google DeepMind 介绍如何用智能体开发平台 Google Antigravity 加速抗菌肽发现，把原本分散在多个数据库的检索压缩到一次会话中。平台内置的 Biomolecular Structure Viewer 让研究者和智能体共享 3D 结构视图，可基于 AlphaFold Database 结构标注关键区域并追问。
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序执行过程，并输出可在约 12 毫秒内验证的简短证明。它在笔记本上每秒可证明 720 万至 870 万条 RISC-V 指令，在 15 个基准程序上平均比同类最快 zkVM 快 10 至 39 倍，优化版本可达每秒 950 万至 1280 万周期。
推荐理由：微软研究院把十余年零知识证明成果整合为 Magnetar，读者可了解通用程序证明在速度与密码学假设上的取舍。
GitHub 博客介绍四种让 Copilot 适配项目的方式：用 .github/copilot-instructions.md 定义仓库级规范，用 .github/instructions 下的 applyTo 字段做路径级指令，用 .github/skills 中的 SKILL.md 打包可复用流程，用 .github/agents 创建专用自定义智能体。
GitHub 发布与 Microsoft Applied Sciences 合作微调的分类器，把 push protection 扩展到无固定格式的密钥，可在不到 2 毫秒内评估一批候选密钥，并称可让可拦截的密钥数量增加一倍以上。
GitHub 发布 AI 代码审查开放基准 ReviewBench，基于 1.039 亿个 GitHub PR 的分布构建，包含 19 种语言的 219 个公开 PR。
IBM Research 基于 UC Berkeley Sky Lab 的 K-Search 演化式内核搜索框架，新增 MLX 后端和结构化 CUDA-to-MLX 翻译层，让已有 CUDA 内核作为知识库迁移到 Apple Silicon。
推荐理由：作者展示了把 CUDA 优化经验迁移到 Apple Silicon 的具体做法，并给出与原生 MLX 内核的对比数据。
Berkeley AI Research 提出 GRASP，一种面向学习型世界模型的梯度规划器，通过将轨迹提升到虚拟状态实现跨时间并行优化、在状态迭代上加入随机性以促进探索，并重塑梯度让动作获得清晰信号。该方法针对长时程规划中梯度爆炸/消失、非贪心结构导致局部极小值以及高维视觉模型梯度脆弱等问题，使基于梯度的长时程规划更稳健。