#编码

Google DeepMind 发布 Gemini 4 Carbon 模型

Google DeepMind 向开发者、企业、科研人员和消费者开放 Gemini 4 Carbon，称其在网络安全能力和长周期智能体工作流上达到前沿水平。

Claude Fable 5.2 与 Mythos 5.2 上线 Amazon Bedrock

AWS 宣布 Claude Fable 5.2 和 Claude Mythos 5.2 在 Amazon Bedrock 与 Claude Platform on AWS 上可用。

Anthropic 发布 Mythos 5.2 与 Fable 5.2 模型，Fable 输入价格降至每百万 token 8 美元

Anthropic 发布 Mythos 5.2 和 Fable 5.2，称新模型在编码、推理和视觉方面有所改进，与用户沟通更清晰。Fable 的输入价格从每百万 token 10 美元降至 8 美元，低于主要竞品 GPT-6 Astra，响应速度提升 30%，双倍价格可获得更快的推理服务，并支持零数据保留（ZDR）政策。

同一件事，精选收录的是《Claude Fable 5.2 与 Mythos 5.2 上线 Amazon Bedrock》

Anthropic 发布 Claude Fable 5.2 与 Claude Mythos 5.2 模型

Anthropic 发布 Claude Fable 5.2 和 Claude Mythos 5.2 两款新模型，称其在编码、推理和视觉方面有所提升，生成速度也快于 5.1 版本。

同一件事，精选收录的是《Claude Fable 5.2 与 Mythos 5.2 上线 Amazon Bedrock》

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

Mihail Eric 在访谈中介绍了斯坦福 CS146S 课程如何改教 AI 原生工程：学生作业从一次性可完成的练习改为向开源项目提交补丁，由维护者评审。他在 Monaco 的团队评估后继续使用 Devin 做代码审查，但因云端环境差异自建智能体工作区，并开发了可调查故障、开 PR 的 Hal。

斯坦福 CS146S 如何教 AI 原生工程：Mihail Eric 谈开源维护者评审与 Monaco 的智能体实践

斯坦福 CS146S 第二期课程引入开源维护者参与教学，学生需熟悉陌生代码库、提出改动并向可能合并代码的维护者解释补丁。授课人 Mihail Eric 同时负责 Monaco 的 AI 工作，他在访谈中展示了十周课程大纲，并介绍 Monaco 为每个智能体配置工作区、采购代码审查工具、让 on-call 智能体接入 Datadog 和 GitHub 的做法。

Karpathy 用 Claude 一个周末做出 Hacker News 视频推荐站 HackerTube

Andrej Karpathy 用 Claude 的 Opus 5.5 模型在一个周末做出视频推荐站 HackerTube，从 20 年 Hacker News 的 4300 万条评论中筛选出 6454 个视频。

阿里等团队发布 Co-Design Bench：编码智能体仅完整完成约四分之一任务

来自阿里巴巴和几所亚洲高校的研究者构建了编码智能体基准 Co-Design Bench，基于真实用户改动请求测试十个模型。表现最好的 GPT-6 Astra 平均满足约 70% 的任务要求，但仅 26.4% 的任务完全正确，Claude Opus 5 和 Qwen3.8-Max 紧随其后，Grok 4.6 垫底。

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

微软研究院联合 GitHub Next 推出研究原型 PDD Kit，在 Chopin 规划环境中把开发者意图转成 Verus 形式化规约，再用证明约束智能体生成的代码。

Google DeepMind 发布 Gemini 4 Carbon 前沿模型

Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长程任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。

GitHub 发布 AI 代码审查开放基准 ReviewBench

GitHub 发布 AI 代码审查开放基准 ReviewBench，基于 1.039 亿个 GitHub PR 的分布构建 219 个公开 PR 语料，覆盖 19 种语言。