Jev 发布两天内出现 6 个复现版本
Latent Space 汇总了 Jev 发布两天内出现的 6 个复现方案，包括基于 ModernBERT-large 的 Laya（421M 参数）、基于扩散模型的 DiffusionGemmaJev、Qwen3.5-9B LoRA 微调的 Bespoke Nimble、SemIf（原 OpenJev，4B 与 35B）、Jevlike 和 Kev-0.5B。
#MCP/工具调用
#MCP/工具调用
今日 0 条Latent SpaceSI 评分6262
Mistral AI精选SI 评分6262 Mistral 发布 Leanstral：面向 Lean 4 的开源代码智能体
Mistral 发布 Leanstral，这是首个面向 Lean 4 的开源代码智能体，采用 6B 激活参数的稀疏架构，权重以 Apache 2.0 许可开放，并接入 Mistral Vibe 与免费 API 端点 labs-leanstral-2603。
推荐理由：Mistral 开源面向 Lean 4 的代码智能体，给出权重、API 与 FLTEval 评测，可据此判断形式化验证的成本门槛。
Mistral AI精选SI 评分7777 Mistral 发布 Devstral 2 编码模型家族与 Mistral Vibe CLI
Mistral AI 发布 Devstral 2 编码模型家族，含 123B 的 Devstral 2 和 24B 的 Devstral Small 2，两者均为开源模型，分别采用修改版 MIT 和 Apache 2.0 许可。
推荐理由：官方给出两款开源编码模型的参数、SWE-bench 成绩与许可差异，并附独立人工评测对比，便于判断开源编码模型与闭源模型的差距。