NVIDIA 将 OpenShell 贡献给 CNCF，并发布 DSX AI Factory 平台新组件
NVIDIA 在 KubeCon + CloudNativeCon 上把用于保障和治理自主智能体的开源运行时 NVIDIA OpenShell 贡献给 CNCF。
推荐理由：原文给出 OpenShell 与 Agent Substrate 的治理和调度分工，以及 Snapshot 把推理启动从分钟级压到秒级的实测数据。
#部署/工程
NVIDIA Blog精选AI 评分6262
Microsoft Research精选AI 评分6464 微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用
微软研究院联合 GitHub Next 提出 Proof-Driven Development（PDD）与配套工具 PDD Kit，把用户意图转成 Verus 形式化规格，证明智能体写的代码对每个输入都满足规格，证明覆盖不到的部分改用测试。
推荐理由：微软研究院与 GitHub Next 展示用 Verus 形式化验证智能体生成的登录代码，把审查重心从逐行读代码转向审阅意图规格。
Google DeepMind精选AI 评分6969 Google DeepMind 为 Antigravity 推出化学信息学 Skills
Google DeepMind 为 Google Antigravity 推出化学信息学 Skills，智能体在约一小时内完成数千种化合物的检索、匹配分子对分析和新型刚性化大环分子设计并给出合成路线。
推荐理由：原文给出智能体在真实肺癌药物数据上完成检索、分析与分子设计的完整流程，可据此判断化学研发工作流的变化。
Berkeley AI Research精选AI 评分6060 从 CUDA 到 MLX：K-Search 如何把多年内核经验带到 Apple Silicon
Berkeley Sky Lab 与 IBM Research 把 K-Search 进化式内核搜索框架扩展到 MLX，并加入结构化的 CUDA 到 MLX 翻译层，让已有 CUDA 内核作为知识库迁移到 Apple Silicon。
推荐理由：作者把 CUDA 优化知识整理成结构化上下文交给进化搜索，让 MLX 内核在 Apple Silicon 上接近专家水平，可看跨平台迁移的做法。
已经到底了