Mistral 发布开源 Lean 4 证明智能体 Leanstral（120B-A6B）

Mistral 发布 Leanstral，一个面向 Lean 4 的开源代码智能体，权重以 Apache 2.0 许可开放，激活参数约 6B，可通过 Mistral Vibe 和免费 labs-leanstral-2603 API 端点使用，并将发布技术报告和评测套件 FLTEval。