Mistral 发布 Mistral Small 4：统一推理、多模态与智能体编码的开源模型
Mistral 发布 Mistral Small 4，将 Magistral 的推理、Pixtral 的多模态与 Devstral 的智能体编码能力统一到单一开源模型，采用 Apache 2.0 许可证。
推荐理由：官方公布了架构参数、reasoning_effort 用法和与 GPT-OSS 120B 的效率对比，可据此评估其开源部署价值。
#编码
#编码
今日 26 条Mistral AI精选AI 评分6969 Mistral AIAI 评分5959 Mistral 发布开源 Lean 4 证明智能体 Leanstral
Mistral 发布 Leanstral，称其为首个面向 Lean 4 的开源代码智能体，权重以 Apache 2.0 许可开放，采用 120B-A6B 稀疏架构，并可通过 Mistral Vibe 和 labs-leanstral-2603 API 端点使用。
Linear NowAI 评分4242 Linear 推出更平静的界面改版：减少图标、弱化侧边栏、软化分隔线
Linear 发布视觉界面改版，通过调暗导航侧边栏、压缩顶部标签、减少图标使用并软化边框对比，让主内容区更突出。改版借助内置 dev toolbar 一键切换 feature flags 对比新旧版本，并用 Claude Code 在数小时内构建出可调 hue、chroma、lightness 的颜色工具，其 token 值以 JSON 导入 Figma。
Mistral AI精选AI 评分6363 Mistral 基于 Vibe 构建自动编写 Rails RSpec 测试的智能体
Mistral 构建了一个自主智能体，读取 Rails 源码并生成或改进 RSpec 测试，在 CI/CD 流水线中无人干预运行，基于开源编码助手 Vibe 搭建，通过 AGENTS.md、分类 skills 文件和 RuboCop、SimpleCov 自定义工具实现。
推荐理由：原文完整给出了用 Vibe 搭建 Rails 测试智能体的方法，AGENTS.md、skills 和自纠工具的做法可迁移复用。
Mistral AI精选AI 评分7070 Mistral 发布 Mistral Vibe 2.0 终端编码智能体并调整 Devstral 2 定价
Mistral AI 发布终端原生编码智能体 Mistral Vibe 2.0，由 Devstral 2 模型家族驱动，新增自定义子智能体、多选澄清、斜杠命令技能和统一智能体模式。
推荐理由：官方公告给出 2.0 的功能清单、订阅方案和 Devstral 2 API 定价，读者可以据此评估是否把它纳入自己的终端开发工作流。
LMSYS BlogAI 评分5050 Novita AI 为 GLM4-MoE 打造 SGLang 生产优化：TTFT 降低 65%
Novita AI 基于 SGLang 为 GLM4-MoE 推出一套生产级推理优化方案，通过 Shared Experts Fusion 与 Suffix Decoding 等技术，在 H200 集群 TP8、FP8 配置下将 TTFT 最多降低 65%，智能体编程负载下 TPOT 改善 22%。
Mistral AI精选AI 评分7676 Mistral 发布 Devstral 2（123B）与 Devstral Small 2（24B）开源编码模型及 Vibe CLI
Mistral 发布开源编码模型 Devstral 2（123B，修改版 MIT）和 Devstral Small 2（24B，Apache 2.0），SWE-bench Verified 分别达 72.2% 和 68.0%，均支持 256K 上下文。
推荐理由：官方给出了两个尺寸的开源编码模型参数量、SWE-bench Verified 成绩、API 定价和部署门槛，可与闭源竞品直接对比。
Linear NowAI 评分5858 Linear 发布 Cursor 集成，可在 Linear 中直接把 issue 指派给 Cursor agents
Linear 宣布新的 Cursor 集成，用户可以像指派给队友一样把 issue 直接分配给 Cursor agents。Cursor agents 可承接编码任务、开启 pull request 并把进度同步回 Linear。
Mistral AIAI 评分5656 Mistral 发布 Codestral 25.08 与企业级完整编码栈
Mistral AI 发布 Codestral 25.08，并整合 Codestral Embed、Devstral 和 Mistral Code IDE 插件形成企业级完整编码栈，覆盖云、VPC 和本地部署。
Linear NowAI 评分5353 Mercury 工程师 Matt Russell 谈六个月用 AI 智能体开发的实践与经验
金融科技公司 Mercury 的 staff 工程师 Matt Russell 在访谈中复盘其团队六个月使用 AI 智能体的经验。团队从 3 月内部黑客松起步，通过 Linear for Agents 把 issue 分派给第三方智能体并回收 PR，还用 Linear Asks 模板让 ops 团队自助提交工单、由智能体建 UI 并提交 PR，几乎无差错。
Mistral AI精选AI 评分6363 Mistral AI 发布 Devstral Medium 并升级 Devstral Small 1.1
Mistral AI 与 All Hands AI 合作发布 Devstral Medium，并推出 Devstral Small 1.1 升级版。
推荐理由：官方给出 SWE-Bench Verified 分数和 API 定价，可比较两款新模型在成本与代码智能体性能上的定位。
Mistral AIAI 评分5151 Mistral 发布企业级 AI 编码助手 Mistral Code，开启私测
Mistral 发布企业级 AI 编码助手 Mistral Code，基于开源项目 Continue，面向 JetBrains IDE 和 VSCode 开放私测，GA 计划近期推出。
Mistral AIAI 评分5151 Mistral 发布首个代码专用嵌入模型 Codestral Embed
Mistral AI 发布代码专用嵌入模型 Codestral Embed，称其在真实代码检索任务上优于 Voyage Code 3、Cohere Embed v4.0 和 OpenAI 大型嵌入模型。
Linear NowAI 评分5454 Linear 创始人撰文探讨为何质量如此稀缺，并把质量作为经营策略
Linear 创始人发文分析为何质量稀缺，认为每次技术进步都会把行业拉离手艺，而 AI 正试图把制作者的判断和品味也从创作中分离出去。他主张质量本身就是商业策略：Linear 第二年实现盈利，第四年拥有超过 10000 个付费客户且几乎没有营销支出，并分享了以质量为北极星、3-5 人小团队、MVP 仅限内部使用、issue 7 天内修复等实践。
Mistral AI精选AI 评分7070 Mistral AI 联合 All Hands AI 发布 Devstral 编码模型
Mistral AI 与 All Hands AI 联合发布面向软件工程任务的智能体模型 Devstral，以 Apache 2.0 许可开源。
推荐理由：官方发布给出 SWE-Bench Verified 成绩、开源许可和部署门槛，读者可据此判断它在本地或企业编码场景中的位置。
Mistral AI精选AI 评分6767 Mistral AI 发布 Mistral Medium 3，以约八倍更低的成本逼近 Claude Sonnet 3.7 表现
Mistral AI 发布 Mistral Medium 3，定位为兼顾 SOTA 性能、成本低约 8 倍和更易部署的新级别模型。
推荐理由：官方给出与 Claude Sonnet 3.7 对比的基准数字和 $0.4/$2 定价，读者可以据此评估它在企业部署中的性价比。
DeepSeek API updates精选AI 评分7373 deepseek-chat 升级为 DeepSeek-V3-0324，多项基准测试显著提升
DeepSeek 官方宣布 deepseek-chat 模型升级为 DeepSeek-V3-0324。基准测试提升明显，MMLU-Pro 75.9 → 81.2，GPQA 59.1 → 68.4，AIME 39.6 → 59.4，LiveCodeBench 39.2 → 49.2。
推荐理由：原文给出各基准测试的具体提升数字和功能变化，读者可据此评估升级对现有应用的影响。
DeepSeek API updatesAI 评分3939 DeepSeek 升级 deepseek-chat 模型至 DeepSeek-V2.5-1210
DeepSeek 将 deepseek-chat 模型升级为 DeepSeek-V2.5-1210，数学能力在 MATH-500 基准测试中从 74.8% 提升至 82.8%，代码能力在 LiveCodebench（08.01-12.01）准确率从 29.2% 提升至 34.38%。中文写作与推理能力在内部测试集中也有提升，同时优化了文件上传和网页总结功能的用户体验。
DeepSeek API updates精选AI 评分6666 deepseek-coder 与 deepseek-chat 升级合并为 DeepSeek V2.5 模型
DeepSeek 将 DeepSeek V2 Chat 与 DeepSeek Coder V2 合并升级为 DeepSeek V2.5，API 用户通过 deepseek-coder 或 deepseek-chat 均可访问新模型。
推荐理由：原文来自官方更新日志，给出了合并后的模型名称、API 兼容方式和多项评测分数变化，便于读者对照评估升级效果。
DeepSeek API updatesAI 评分3737 DeepSeek-Coder 升级为 DeepSeek-Coder-V2-0724
DeepSeek 将 deepseek-coder 模型升级为 DeepSeek-Coder-V2-0724。此次更新通过 DeepSeek API 提供，具体功能与参数变化未在公告中披露。
DeepSeek API updates精选AI 评分6868 DeepSeek 升级 deepseek-chat 至 DeepSeek-V2-0628，推理与角色扮演能力提升
DeepSeek 官方宣布 deepseek-chat 模型升级为 DeepSeek-V2-0628，推理能力提升。
推荐理由：官方给出代码、数学、推理和对战胜率的前后对比数据，读者可以据此评估这次升级的实际幅度。
DeepSeek API updatesAI 评分4444 DeepSeek-Coder 升级为 DeepSeek-Coder-V2-0614
DeepSeek-Coder 模型升级为 DeepSeek-Coder-V2-0614，代码生成、代码理解、代码修复和代码补全能力显著提升，达到 GPT-4-Turbo-0409 的水平。新版本还具备卓越的数学和推理能力，通用能力与 DeepSeek-V2-0517 持平。