AIpedia#159 Leanstral 1.5
Выпуск: · ИсточникФормальные доказательства и Lean
- Для чего
- Программирование, Рассуждения
- Принимает
- Нет проверенных данных
- Создаёт
- Нет проверенных данных
Доступ
Mistral AI · API Вычисления: Облако
Цена USD
| Поставщик | Цена USD | Условия |
|---|---|---|
| Mistral AI · API | $0 / запрос | StandardИсточник · 19.09.2026 |
Платформа и оценка
Нет проверенных данных
Что проверено по оценкам
Точная версия Leanstral 1.5 не сопоставлена с own runs или ECI в полном снимке Epoch 20.09.2026. Проверены model_metadata, 14 файлов прогонов и ECI; похожее имя не доказывает идентичность.
Проверено 2026-09-20