跳到正文
11月7日周六
11月6日周五
  1. Microsoft Research62

    Microsoft Research 推出 PDD Kit,用形式化验证约束智能体生成的全栈 Web 应用

    Microsoft Research 与 GitHub Next、RiSE 合作推出 PDD Kit,把形式化验证引入日常软件开发:它在 GitHub Next 的 Chopin 规划环境中与开发者协作,把自然语言意图转成 Verus 形式化规范,自动为智能体生成的代码生成证明,证明覆盖每个输入,证明触及不到的部分则回退为测试。

    推荐理由:原文完整展示了从意图到形式化规范再到证明的七步工作流,可迁移之处在于它把代码审查重心移到了意图审查。

  2. Mistral AI62

    Mistral AI 扩展 Mistral Studio,新增托管智能体、工作流与应用能力

    Mistral AI 宣布扩展其企业 AI 平台 Mistral Studio,新增托管智能体(managed agents)、应用、工作流能力,以及 enterprise context、agent observability 和 evaluations 等功能,配合 Mistral Large 4(Le Chonk)模型使用。

    推荐理由:原文给出托管智能体、工作流与应用的具体能力和部署选项,可据此评估企业如何在保留数据控制的前提下落地智能体。

11月5日周四
  1. AWS Machine Learning Blog62

    AWS 教程:生产级 AI 智能体的四层上下文工程实践

    AWS Machine Learning Blog 发布教程第二篇,讲解生产级 AI 智能体的四层上下文工程方法,并以开源多智能体数据分析方案 Deep Insight(基于 Strands Agents SDK 和 Amazon Bedrock AgentCore)作为参考实现展示代码。

    推荐理由:以开源参考实现逐层给出可直接照抄的代码与配置,把四层上下文工程从概念落到具体实现。

11月4日周三
  1. Hugging Face Blog62

    IBM 用同一模型对比 CUGA、Hermes 与 Deep Agents 三个 Agent harness

    IBM Research 用同一个开源模型 GLM-5.3-flash 在 AppWorld 的 90 个任务上对比 CUGA、Hermes 和 Deep Agents 三个 harness,任务完成率分别为 81.1%、46.7% 和 30.0%,说明 harness 选择对结果影响很大。

    推荐理由:同一模型换 harness 完成率从 30% 到 81%,这组对照数据能帮读者理解选型应匹配工作负载而非只看模型。

11月3日周二
10月31日周六
10月30日周五
10月29日周四
10月28日周三
  1. NVIDIA Blog60

    NVIDIA RTX Spark Windows 笔记本新增机型、Agent 工具与游戏支持

    NVIDIA 宣布 RTX Spark Windows 笔记本现已由 ASUS、Dell、HP、Lenovo、Microsoft、MSI 提供,起价 $2,599,128GB 配置已上架,采用 Blackwell RTX GPU 与 Grace CPU 单颗超芯,最高 128GB 统一内存、1 petaflop FP4 AI 性能。

    推荐理由:原文集中列出 RTX Spark 笔记本的模型、Agent 工具和游戏更新,读者可据此判断本地 AI 工作流的可用范围。

10月27日周二
10月24日周六
10月23日周五
  1. Hugging Face Blog61

    微软与 Hugging Face 开源 ThinkingBox-Training:用数据库终态检查作为 RL 奖励后训练智能体

    微软与 Hugging Face 联合发布并开源 ThinkingBox-Training(microsoft/thinkingbox-training),把 ThinkingBox-Bench 中对数据库终态的可执行检查复用为 RL 训练奖励。

    推荐理由:原文给出了把数据库终态检查复用为 RL 奖励的完整训练流程与开源实现,读者可据此迁移方法到自己的智能体任务集。