mistralai · Hugging Face 新模型· mistralai·· 2026-03-11精选AI 评分66
mistralai/Leanstral-2603 发布 119B A6B 开源 Lean 4 代码智能体模型
mistralai/Leanstral-2603
AI 导读
Mistral 在 Hugging Face 发布 Leanstral-2603（Leanstral 119B A6B），称其是首个面向 Lean 4 的开源代码智能体模型，用于证明工程场景。
推荐理由
材料同时给出架构参数与部署方式，便于评估 Lean 4 证明工程中的使用成本和接入路径。
来源：mistralai · Hugging Face 新模型 · huggingface.co