Mistral AI 开源 Leanstral：面向 Lean 4 的代码智能体

Mistral AI 发布并开源 Leanstral，首个专为 Lean 4 设计的代码智能体，采用高稀疏架构、6B 活跃参数，以 Apache 2.0 许可发布权重，同时在 Mistral Vibe 中提供 agent 模式并开放免费 API 端点 labs-leanstral-2603。