Leanstral 1.5 цена и характеристики
Обновлённая модель для инженерии формальных доказательств на Lean 4, оптимизированная для автоматического доказательства теорем и автоформализации. 119 млрд параметров всего, 6,5 млрд активных.
Leanstral 1.5 цена за 1M токенов
| Тип | ₽ / 1M | $ / 1M |
|---|---|---|
| Входные токены | 0 ₽ | $0 |
| Выходные токены | 0 ₽ | $0 |
Цены в рублях на сегодня, 08.10.2026, по курсу ЦБ РФ: 1 $ = 85,48 ₽.
Характеристики и лимиты Leanstral 1.5
- Контекст
- 262K
- Макс. вывод
- 128K
- Вход
- text, image
- Выход
- text
- Семейство
- leanstral
- Дата релиза
- 2026-06-30
- Обновлено
- 2026-06-30
- Другие названия
- mistral leanstral 1.5, mistral ai leanstral 1.5, mistralai leanstral 1.5, мистраль leanstral 1.5, мистрал leanstral 1.5, мистраль ai leanstral 1.5
Что умеет Leanstral 1.5
- ✓Рассуждения
- ✓Вызов инструментов
- ✓Структурированный вывод
- ✓Вложения / файлы
- ✓Зрение (изображения)
- ✓Настройка температуры
- ✓Открытые веса
Частые вопросы
Сколько стоит API Leanstral 1.5?
Mistral указывает нулевую стоимость токенов для Leanstral 1.5: и ввод, и вывод отмечены в прайс-листе как бесплатные, поэтому пересчёт в рубли по курсу ЦБ РФ 85,48 ₽ за доллар ничего не меняет. Это касается только тарификации токенов — квоты, лимиты запросов и условия доступа определяет сам провайдер.
Сколько токенов в Leanstral 1.5?
Контекстное окно Leanstral 1.5 — 262K токенов (262 144). В этот объём входит всё содержимое диалога: системный промпт, история переписки, приложенные файлы и сам ответ модели. Значение приведено по карточке провайдера Mistral на октябрь 2026.
Какие лимиты у Leanstral 1.5?
Контекст — 262K токенов (262 144), максимальная длина одного ответа — 128K токенов, поэтому длинный текст приходится генерировать частями. Лимиты по частоте запросов задаёт Mistral на уровне аккаунта: они зависят от тарифа, а не от модели, и в карточке не приводятся.
Умеет ли Leanstral 1.5 рассуждать?
Да, у Leanstral 1.5 заявлен режим рассуждений: перед ответом модель выполняет промежуточные шаги. Они добавляются к выходным токенам, поэтому запрос с длинной цепочкой рассуждений стоит дороже и выполняется дольше обычного. Заявленные возможности модели: рассуждения, вызов инструментов, работа с изображениями, структурированный вывод.
Какие возможности поддерживает Leanstral 1.5?
Заявленные возможности Leanstral 1.5: рассуждения, вызов инструментов, работа с изображениями, структурированный вывод. На вход модель принимает текст, изображения, и любое вложение расходует токены общего контекстного окна на 262K токенов. Список возможностей взят из карточки провайдера Mistral и обновляется вместе с каталогом на октябрь 2026.
Есть ли у Leanstral 1.5 открытые веса?
Да, Leanstral 1.5 распространяется с открытыми весами: модель можно скачать и запустить на своём оборудовании, а не только вызывать через API Mistral. Что именно разрешено делать, определяет лицензия из карточки модели. Цены каталога относятся к облачному доступу по API.