跳到正文
  1. NVIDIA Blog60

    NVIDIA 将 OpenShell 捐给 CNCF,并发布 DSX AI Factory 平台新组件

    NVIDIA 在 KubeCon + CloudNativeCon 上宣布把用于保障和治理自主智能体的开源运行时 NVIDIA OpenShell 捐给 Cloud Native Computing Foundation(CNCF),作为 Sandbox 项目由社区治理。

    推荐理由:NVIDIA 把智能体安全运行时捐给 CNCF,并给出 Kubernetes 上部署与推理加速的配套组件,可观察开源治理与工程落地路径。

  1. Microsoft Research60

    微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用

    微软研究院联合 GitHub Next 发布研究原型 PDD Kit,把用户意图转成 Verus 形式化规范,再证明编码智能体生成的代码对每个输入都满足该规范,证明覆盖不到的部分回退到测试。

    推荐理由:微软研究院与 GitHub Next 合作的研究原型,展示如何把智能体生成的代码从逐行审查转向意图审查加形式化证明。

  1. Berkeley AI Research60

    从 CUDA 到 MLX:K-Search 如何将多年内核优化经验带到 Apple Silicon

    IBM Research 基于 UC Berkeley Sky Lab 的 K-Search 演化式内核搜索框架,新增 MLX 后端和结构化 CUDA-to-MLX 翻译层,让已有 CUDA 内核作为知识库迁移到 Apple Silicon。

    推荐理由:作者展示了把 CUDA 优化经验迁移到 Apple Silicon 的具体做法,并给出与原生 MLX 内核的对比数据。

已经到底了