技术方向
用 AI 写代码：编程助手、Vibe Coding、代码模型评测，以及开发方式的变化。
3 条精选近 30 天 3 条共收录 17 条
AWS 宣布 Claude Fable 5.2 和 Claude Mythos 5.2 在 Amazon Bedrock 与 Claude Platform on AWS 上可用，其中 Fable 5.2 面向编码、数学与科研等技术工作，Mythos 5.2 仅通过 Anthropic 的验证计划开放网络安全与生命科学场景。
推荐理由：原文交代了两款模型在 Amazon Bedrock 的上线范围、数据保留要求与迁移方式，可据此判断接入成本。
微软研究院联合 GitHub Next 发布研究原型 PDD Kit，把用户意图转成 Verus 形式化规范，再证明编码智能体生成的代码对每个输入都满足该规范，证明覆盖不到的部分回退到测试。
推荐理由：微软研究院与 GitHub Next 合作的研究原型，展示如何把智能体生成的代码从逐行审查转向意图审查加形式化证明。
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长程任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：官方给出 Carbon 在网络安全与长程智能体任务上的基准和定价，可对照两周前发布的 Argon 看迭代节奏。