Mistral AI 开源形式化数学大模型 Leanstral
Mistral AI 在 Hugging Face 开源形式化定理证明模型 Leanstral，专项优化 Lean 4 证明辅助推理与高难度数学逻辑推演。
- 公告日期
- 2026-03-11
- 开放使用日期
- 与公告日期相同
- 厂商
- Mistral AI
- 模态
- 语言
- 核实状态
- 已核实
AI 发布时间线
Mistral AI 在 Hugging Face 开源形式化定理证明模型 Leanstral，专项优化 Lean 4 证明辅助推理与高难度数学逻辑推演。