AI 写代码的一切：编码助手、Vibe Coding、代码模型评测与开发工作流变革。
Google DeepMind 介绍 AlphaEvolve 在科研、基础设施和商业领域的应用进展，这一 Gemini 驱动的编码智能体已从试点测试发展为基础设施的核心组件。在具体案例中，DeepConsensus 的变异检测错误减少 30%，电网可行解比例从 14% 提升至超过 88%，Google Spanner 的写放大降低 20%，并帮助多家企业提升训练、推理、仿真或路线规划效率。
推荐理由：文章汇总了 AlphaEvolve 在科研、基础设施和商业场景中的具体应用，展示其从试点走向规模化部署的路径。
Mistral AI 推出 Spaces CLI，用于脚手架搭建、开发环境配置、配置生成和部署，并通过交互输入的 flag 等价物支持编码智能体无障碍操作。Spaces 还为项目生成 context.json 和 AGENTS.md，借助可查询的插件注册表与显式状态降低智能体执行命令时的猜测和阻塞；文中示例显示，从提示到上线部署用时不到 10 分钟。
推荐理由：文章以 Spaces 的实际设计取舍为例，系统说明了让 CLI 同时适配人类开发者、编码智能体和自动化流程的方法。
Mistral AI 发布 Mistral Small 4，将 Magistral 的推理、Pixtral 的多模态和 Devstral 的智能体编码能力整合到一个模型中。
推荐理由：Mistral Small 4 将推理、视觉理解和智能体编码整合到单一模型，并公开关键架构、部署配置与性能对比，便于评估实际使用成本。
Mistral AI 发布 Leanstral，这是面向 Lean 4 的开源代码智能体，采用 6B active parameters，支持在形式化代码仓库中生成并验证证明。
推荐理由：Leanstral把Lean 4形式化证明引入代码智能体，并用FLTEval比较性能与成本，呈现了可复用的验证式编程路径。
Mistral AI 基于开源编码助手 Vibe 构建了一个可在 CI/CD 中自主生成和改进 RSpec 测试的智能体，能够读取 Rails 源码、并行处理文件，并通过 RuboCop 与 SimpleCov 验证结果。
推荐理由：文章展示了如何用 Vibe、分类型技能和可执行验证工具构建 Rails 测试智能体，并用真实代码库指标检验其效果。
Mistral AI 发布终端原生编码智能体 Mistral Vibe 2.0，由 Devstral 2 模型家族驱动，新增自定义子智能体、多选澄清、斜杠命令技能、统一智能体模式和自动更新。
推荐理由：Mistral Vibe 2.0 将子智能体、技能命令和执行前澄清纳入终端工作流，适合了解编码智能体如何增强可控性。
Mistral AI 发布 Devstral 2 系列编码模型和 Mistral Vibe CLI。Devstral 2 为 123B 参数模型，在 SWE-bench Verified 上 đạt 72.2%，Devstral Small 2 为 24B 参数模型，得分 68.0%，支持 API、本地部署和微调。
推荐理由：Devstral 2 同时覆盖大规模部署与本地运行场景，并配套 Vibe CLI，材料还提供了 SWE-bench Verified 成绩、许可方式和 API 定价，便于比较其性能与使用门槛。