Kimina-Prover-RL-1.7B
ДоступнаДля бизнеса: стоит ли брать Kimina-Prover-RL-1.7B
Модель подходит командам, которые автоматизируют формальную проверку математических утверждений, исследуют доказательства на Lean 4 или создают специализированные инструменты контроля корректности. Открытые веса позволяют развернуть модель у себя, однако публичной цены за 1M токенов нет, поэтому бюджет зависит от собственной инфраструктуры. Основной риск — узкая специализация и отсутствие независимого подтверждения результатов; перед внедрением следует проверить модель на внутренних наборах доказательств и отдельно измерить долю корректных ответов с учетом стоимости повторных попыток.
Бенчмарки Kimina-Prover-RL-1.7B
История версий и событий Kimina-Prover-RL-1.7B
Выпущена модель Kimina-Prover-RL-1.7B для доказательств на Lean 4
Project Numina и Kimi опубликовали веса Kimina-Prover-RL-1.7B и полный процесс обучения на базе Verl. По данным разработчиков, результат на MiniF2F составил 76,23% Pass@32 и 77,87% с дополнительной попыткой исправления. Независимых замеров пока нет.
Первоисточник ↗Частые вопросы про Kimina-Prover-RL-1.7B
Сколько стоит Kimina-Prover-RL-1.7B?
Сама модель бесплатна: веса опубликованы под лицензией Apache-2.0, платить нужно только за железо, на котором вы её запускаете, либо за API того провайдера, через которого подключаетесь.
Когда вышла Kimina-Prover-RL-1.7B?
Kimina-Prover-RL-1.7B вышла 14 августа 2025, разработчик — Moonshot AI. Все последующие обновления модели мы фиксируем в истории событий на этой странице.
Какой контекст у Kimina-Prover-RL-1.7B?
Контекстное окно — 131K токенов. На практике это означает, что за один запрос модель удерживает примерно 94 страниц текста.
Сколько параметров у Kimina-Prover-RL-1.7B?
1.7B параметров, из них активных при генерации — 1.7B (архитектура Mixture-of-Experts: работает не вся модель сразу, поэтому запрос считается быстрее и дешевле).
Можно ли развернуть Kimina-Prover-RL-1.7B у себя?
Да. Веса Kimina-Prover-RL-1.7B выложены публично под лицензией Apache-2.0, их можно скачать и запустить на своём сервере — данные не уходят наружу. Это главный аргумент для компаний, которым нельзя отдавать документы во внешний сервис.
Доступна ли Kimina-Prover-RL-1.7B в России?
Да. Китайские провайдеры не ограничивают доступ по региону, а открытые веса Kimina-Prover-RL-1.7B вдобавок можно развернуть на своём сервере. Сложность остаётся только с оплатой — российские карты напрямую обычно не проходят.
Цена Kimina-Prover-RL-1.7B: доллары и рубли за 1M токенов
Публичной цены API нет.