跳到正文

#编码

今日 28 条
4月30日周四
4月29日周三
4月24日周五
4月23日周四
4月20日周一
4月16日周四
4月14日周二
4月3日周五
3月31日周二
3月17日周二
  1. Mistral AI70

    Mistral 发布开源 Lean 4 代码智能体 Leanstral

    Mistral 发布面向 Lean 4 的开源代码智能体 Leanstral,模型为 Leanstral-120B-A6B,采用高稀疏架构和 6B 激活参数,权重以 Apache 2.0 许可开放。

    推荐理由:原文给出 Apache 2.0 权重、Mistral Vibe 与免费 API 入口,并用 FLTEval 展示其在 Lean 4 证明工程中的成本和性能位置。

3月11日周三
1月28日周三
  1. Mistral AI67

    Mistral 发布终端编码智能体 Mistral Vibe 2.0

    Mistral 发布 Mistral Vibe 2.0,这是其终端原生编码智能体的重大升级,由 Devstral 2 模型系列驱动。新版支持自定义子智能体、执行前多选澄清、斜杠命令加载技能、统一智能体模式和自动更新。

    推荐理由:官方说明了 Vibe 2.0 的自定义子智能体、澄清机制、斜杠技能和计费方式,便于评估终端编码工作流的接入成本。

12月9日周二
  1. Mistral AI89

    Mistral AI 发布 Devstral 2 编码模型与 Mistral Vibe CLI

    Mistral AI 发布 Devstral 2 编码模型家族,包括 123B 的 Devstral 2 和 24B 的 Devstral Small 2,并推出开源终端编码助手 Mistral Vibe CLI。

    推荐理由:原文同时给出两款开源编码模型的参数、许可、SWE-bench Verified 成绩和本地部署条件,便于比较开放模型与闭源模型的工程取舍。

7月30日周三
7月11日周五
6月4日周三
5月28日周三
  1. Mistral AI66

    Mistral AI 发布代码嵌入模型 Codestral Embed

    Mistral AI 发布首个面向代码的嵌入模型 Codestral Embed,主打真实代码数据上的检索表现,并称其优于 Voyage Code 3、Cohere Embed v4.0 和 OpenAI 的大型嵌入模型。

    推荐理由:官方给出代码检索基准、维度与精度取舍及 API 价格,便于评估其在代码 RAG 和语义搜索中的接入成本。

5月21日周三
5月7日周三