返回全部动态
Mistral 发布 Leanstral 1.5 形式化证明模型
原标题：June 30
AI 摘要
Mistral 平台发布了 Leanstral 1.5 模型，这是面向 Lean 4 形式化证明工程的更新版本，改进了 SFT 混合质量并扩展了长上下文推理能力。该模型将于 2026 年 9 月 30 日退役。
以上摘要由 AI 生成，可能存在误差。事实请以原文为准。
正文节选
We released Leanstral 1.5 ( labs-leanstral-1-5 ), an updated Lean 4 formal proof engineering model with improved SFT mixture quality and extended long-context reasoning. This model will be retired on September 30, 2026. MODEL RELEASED
发布时间：—
抓取时间：2026-08-31 00:41
来源机构：Mistral AI