Kimina-Prover-72B
ДоступнаДля бизнеса: стоит ли брать Kimina-Prover-72B
Модель подходит исследовательским группам и компаниям, которые проверяют математические выкладки, формализуют алгоритмы или разрабатывают критически важное программное обеспечение с Lean 4. Ее можно развернуть у себя, однако модель на 73 млрд параметров требует значительных вычислительных ресурсов, а процедура поиска с большим числом попыток дополнительно увеличивает стоимость и задержку. Публичного тарифа API нет, поэтому бюджет следует рассчитывать по стоимости собственной инфраструктуры или аренды ускорителей. Основной риск — узкая специализация и отсутствие независимого подтверждения заявленных результатов; перед внедрением нужен пилот на внутренних доказательствах и используемой версии Mathlib.
Бенчмарки Kimina-Prover-72B
История версий и событий Kimina-Prover-72B
Вышла модель Kimina-Prover-72B для доказательств на Lean 4
Project Numina и Kimi выпустили Kimina-Prover-72B с открытыми весами по лицензии MIT. Модель основана на Qwen2.5-72B, поддерживает контекст до 131072 токенов и предназначена для построения и исправления формальных доказательств. По данным разработчиков, она набрала 84,0% на miniF2F-test при 32 попытках и 92,2% с полной процедурой поиска; независимых замеров пока нет.
Первоисточник ↗Частые вопросы про Kimina-Prover-72B
Сколько стоит Kimina-Prover-72B?
Сама модель бесплатна: веса опубликованы под лицензией MIT, платить нужно только за железо, на котором вы её запускаете, либо за API того провайдера, через которого подключаетесь.
Когда вышла Kimina-Prover-72B?
Kimina-Prover-72B вышла 10 июля 2025, разработчик — Moonshot AI. Все последующие обновления модели мы фиксируем в истории событий на этой странице.
Какой контекст у Kimina-Prover-72B?
Контекстное окно — 131K токенов. На практике это означает, что за один запрос модель удерживает примерно 94 страниц текста.
Сколько параметров у Kimina-Prover-72B?
73B параметров, из них активных при генерации — 73B (архитектура Mixture-of-Experts: работает не вся модель сразу, поэтому запрос считается быстрее и дешевле).
Можно ли развернуть Kimina-Prover-72B у себя?
Да. Веса Kimina-Prover-72B выложены публично под лицензией MIT, их можно скачать и запустить на своём сервере — данные не уходят наружу. Это главный аргумент для компаний, которым нельзя отдавать документы во внешний сервис.
Доступна ли Kimina-Prover-72B в России?
Да. Китайские провайдеры не ограничивают доступ по региону, а открытые веса Kimina-Prover-72B вдобавок можно развернуть на своём сервере. Сложность остаётся только с оплатой — российские карты напрямую обычно не проходят.
Цена Kimina-Prover-72B: доллары и рубли за 1M токенов
Публичной цены API нет.