跳到正文
11月10日周二
  1. 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月9日周一
  1. Latent Space42

    斯坦福如何教授 AI 原生工程:Mihail Eric 谈 CS146S 课程与 Monaco 的智能体实践

    斯坦福 CS146S 课程在第二期引入开源维护者参与教学,学生需学习陌生代码库、提出修改并向可能合并代码的维护者解释补丁。授课人 Mihail Eric 同时负责 Monaco 的 AI 工作,他展示了 Monaco 自建智能体工作区、外购代码审查工具,并让 on-call 智能体接入 Datadog 和 GitHub。他提出"买来学习、自建保留"的工具取舍原则。

11月6日周五
  1. Microsoft Research60

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

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

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

10月29日周四
10月5日周一