跳到正文
Mistral AI

Mistral 发布 Leanstral:面向 Lean 4 的开源可信 vibe-coding 基础模型

Leanstral: Open-Source foundation for trustworthy vibe-coding

Mistral 发布 Leanstral,首个专为 Lean 4 设计的开源代码智能体,采用 6B 激活参数的稀疏架构,以 Apache 2.0 许可开放权重,并提供 Mistral vibe 智能体模式和免费 API。

读原文 ↗导出 Markdown