研究与探索·EASYHUB 选读
Leanstral 1.5 开放模型与形式化证明工作流
这次有什么变化
Mistral 发布 Leanstral 1.5，围绕 Lean 4 的证明生成、反馈迭代和代码验证改进模型，并提供开放权重及接口说明。本条采用公告页的七月二日，而不是其他模型文档中的不同登记日期。
- 原文标题
- Leanstral 1.5: Proof Abundance for All
- 来源
- Mistral AI · mistral.ai
- 主题
- 研究与探索
- 原文月份
- 2026-07
本页是 EasyHub 根据所列来源整理的简短选读，不是完整报道或原创采访。预览、计划开放与正式可用以摘要及原文说明为准。
本站摘要页面发布 · 更新 · 内容说明