SiteVisorСайтвизор

Leanstral 1.5 цена и характеристики

устарелаоткрытые веса

Обновлённая модель для инженерии формальных доказательств на Lean 4, оптимизированная для автоматического доказательства теорем и автоформализации. 119 млрд параметров всего, 6,5 млрд активных.

0 ₽ввод / 1M$0
0 ₽вывод / 1M$0
262Kконтексттокенов
128Kмакс. выводтокенов

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.

Другие модели Mistral