Leanstral-1.5
Mistral · labs-leanstral-1-5-1 · 价格单位：每百万 tokens，按厂商官方币种计价（国际厂商 $ / 国产厂商 ¥），以提供方官方页面为准
Leanstral-1.5 API 价格：官方定价输入 免费、输出 免费，每百万 tokens（美元计价），该模型提供免费档。 （核验于 2026-10-27，以厂商官方页面为准）
An updated Lean 4 formal proof engineering model optimised for automated theorem proving and autoformalization. 119B total parameters, 6.5B active.
官方价格
| 渠道 | 输入 | 输出 | 备注 |
|---|---|---|---|
| Mistral · 官方价格国际价 | 免费 | 免费 | 核验于 2026-10-27来源 ↗ |
参考价由后台按币种统一选定。「采集参考」为官方牌价转录；「推算参考」不是已核验官方价，不参与折扣计算。均以厂商官方页面为准。
第三方报价（1）
供应商与转售渠道的在售报价，非供应方直售；官方价对照见上表。跳转第三方前请自行核验价格。
调价记录（4）
依据本站核验的版本历史生成，含官方与渠道的每次价格变化；首次收录也在此列出。
| 时间 | 渠道 | 币种 | 输入价变化 | 输出价变化 | 性质 |
|---|---|---|---|---|---|
| 2026-10-27 | 官方价格 | USD | 免费 → 免费 | 免费 → 免费 | 核验调价 |
| 2026-10-26 | 官方价格 | USD | 免费 → 免费 | 免费 → 免费 | 核验调价 |
| 2026-10-26 | 官方价格 | USD | 免费 | 免费 | 首次收录 |
| 2026-10-26 | Models.dev · Mistral | USD | 免费 | 免费 | 首次收录 |
Leanstral-1.5 常见问题
Leanstral-1.5 API 多少钱？
Mistral官方定价：输入 免费、输出 免费 每百万 tokens（USD）。本页价格核验于 2026-10-27，来源见官方价格表的「来源」链接。
Leanstral-1.5 有免费版吗？
有。本站收录的报价中包含免费档（输入/输出 0 元），见价格表中标注「免费」的行。
Leanstral-1.5 哪个渠道最便宜？
暂无第三方渠道在售报价；可在「提交供应报价」录入你的渠道价格。