跳到正文
今天11月11日周三1 条
  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 Blog40

    AWS Quick 中技能与智能体如何协同工作

    AWS Quick 通过智能体与技能机制让可重复任务只需描述一次即可复用。智能体拥有独立指令、知识空间和连接器,可限定访问范围并共享给团队;技能是可复用的指令集,系统技能支持生成 Word、PowerPoint、Excel、PDF 文档,以及网页浏览、代码执行、深度研究、音视频转写和图像生成。

  3. 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 的上线范围、数据保留要求与迁移方式,可据此判断接入成本。

  4. AWS Machine Learning Blog40

    基于 Amazon Bedrock AgentCore 的可插拔智能体 AI 框架:七层可组合企业级参考架构

    AWS 提出 Pluggable Agentic AI Framework,一套在 Amazon Bedrock AgentCore 上运行、面向多智能体应用的七层可组合参考架构,覆盖数据与知识、模型与推理、编排、安全与护栏等层。各层通过稳定契约解耦,模型路由可借助 LiteLLM 在供应商间切换,专家智能体经 MCP 与 A2A 协议由集中注册表发现和调用。

11月6日周五
  1. Microsoft Research60

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

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

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

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

    Google DeepMind 发布世界模型 Genie 4

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

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

10月23日周五
  1. Microsoft Research58

    微软研究院发布 Flint-interactive,让智能体生成可交互数据可视化

    微软研究院发布 Flint-interactive,一种构建在 Flint 之上的交互式数据可视化语言,让智能体生成可点击、筛选、缩放和跨图表联动的图表。它把点击、拖拽等原始触发解析为语义事件,用户只需用高层算子描述更新行为,布局与渲染依赖由 Flint 编译器处理。

10月16日周五
10月13日周二