Mistral AI·· 2026-03-17精选AI 评分62
Mistral 发布 Leanstral，首个面向 Lean 4 的开源代码智能体
Leanstral: Open-Source foundation for trustworthy vibe-coding
AI 导读
Mistral 发布 Leanstral，称其为首个面向 Lean 4 的开源代码智能体，采用稀疏架构、6B 激活参数，Apache 2.0 协议开源，并已集成进 Mistral Vibe 及提供免费 API 端点。
推荐理由
原文给出了模型权重、评测分数和成本对比，读者可以据此判断它相对闭源竞品的性价比。
来源：Mistral AI · mistral.ai