跳到正文

技术方向

Agent 智能体 最新动态

能自己拆解任务、调用工具、一步步把事办完的 AI 智能体:Claude Code、Manus 等应用,各家 Agent 框架与评测。

11 条精选近 30 天 11 条共收录 47 条

更新

Agent 智能体的精选

今天11月11日周三第 1–11 条
  1. NVIDIA Blog60

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

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

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

11月10日周二
  1. Google DeepMind85

    Google DeepMind 推出 AlphaProof Code,用 AI 智能体形式化验证 Signal 协议代码

    Google DeepMind 发布 AlphaProof Code,一个由多个 LLM 智能体组成的形式化验证框架,用 AI 智能体对 Signal 协议实际运行的代码做数学证明,验证其关键安全属性。

    推荐理由:DeepMind 用多智能体框架对 Signal 协议实际代码做形式化验证,四周完成过去需数年的工作,并开源验证产物。

  2. AWS Machine Learning Blog78

    AWS 上线 Claude Fable 5.2 与 Claude Mythos 5.2

    AWS 宣布 Claude Fable 5.2 和 Claude Mythos 5.2 在 Amazon Bedrock 与 Claude Platform on AWS 上可用,其中 Fable 5.2 面向编码、数学与科研等技术工作,Mythos 5.2 仅通过 Anthropic 的验证计划开放网络安全与生命科学场景。

    推荐理由:原文交代了两款模型在 Amazon Bedrock 的上线范围、数据保留要求与迁移方式,可据此判断接入成本。

11月6日周五
  1. Microsoft Research60

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

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

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

11月4日周三
10月29日周四
10月28日周三
  1. Google DeepMind82

    Google DeepMind 发布世界模型 Genie 4

    Google DeepMind 发布世界模型 Genie 4,可实时生成带原生音频的交互式模拟世界,并以研究预览形式向可信测试者开放。Genie 4 支持用自然语言实时修改天气、镜头和场景元素,能模拟空气动力学、碰撞等物理场景以及人物动作与对话。

    推荐理由:官方说明了 Genie 4 的原生音频、实时可控与 Gemini 协同推理,读者可据此判断世界模型当前的能力边界。