deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo
deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo от VladShash — вмещает 7 миллиардов параметров в чат модель. deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo is an open-weights chat model with roughly 7 billion parameters.
by VladShash · 7B параметров
Лучше всего подходит для
Способы использования deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo в osFoundry
Подключите со своим ключом (BYOK)
Откройте диалог ключей и вставьте ваш API-ключ VladShash. osFoundry автоматически обнаружит deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo — назначьте её на роль Maestro (router, direct, orchestrator или fallback) во вкладке Pipeline, и она будет доступна в каждом чате. Ваш ключ, ваш аккаунт у провайдера — без наценки на токены.
Разверните выделенный эндпоинт
deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo распространяется с открытыми весами — запускайте её локально бесплатно или разверните выделенный GPU-эндпоинт в вашем рабочем пространстве для зарезервированных мощностей без ограничений по частоте запросов.
Используйте в Room App
Room App объявляют функции ИИ в своём манифесте, а затем вызывают их через invokeAI:
import { invokeAI } from '@osfoundry/app-sdk'
// 'summarize' is an AI feature declared in your app manifest.
const result = await invokeAI('summarize', userText)
Вызывайте из своих приложений
После подключения модели к вашему рабочему пространству вы можете разместить её как API и обращаться к ней из своих сервисов, скриптов или CI — за пределами osFoundry.
На каком оборудовании можно запустить deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo
deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo работает на одном потребительском GPU объёмом 16 ГБ (~5 ГБ VRAM с запасом для KV-кэша). Инференс с полной точностью помещается на одной H100 80GB при точности FP16 (~17 ГБ).
deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo в сравнении с похожими моделями
Лицензия
Не указано — Условия лицензии не указаны — проверьте карточку исходной модели перед коммерческим использованием.
Сверьтесь с документацией исходного проекта.
Частые вопросы о deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo
Бесплатна ли deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo в использовании?
deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo можно бесплатно запускать локально на собственном оборудовании. Хостинговый доступ через osFoundry тарифицируется (ввод Free (local), вывод Free (local)). Вы можете переключаться между локальным и хостинговым режимами в любой момент.
Можно ли использовать deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo в коммерческих целях?
Коммерческое использование разрешено с условиями. Условия лицензии не указаны — проверьте карточку исходной модели перед коммерческим использованием. Сверьтесь с документацией исходного проекта.
Сколько VRAM требуется для deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo?
Приблизительно 5 ГБ при квантизации Q4 или 17 ГБ при полной точности FP16. Помещается на одном потребительском GPU объёмом 24 ГБ.
Можно ли запустить deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo локально?
Да. deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo имеет открытые веса и работает локально на GPU рабочей станции. Локальная среда выполнения osFoundry берёт на себя загрузку модели, квантизацию и маршрутизацию.
В чём deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo лучше всего?
deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo хорошо подходит для text generation.
Как использовать deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo в osFoundry?
Вставьте свой API-ключ VladShash в диалог ключей (или разверните открытые веса для моделей с возможностью самостоятельного хостинга), назначьте deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo на роль Maestro во вкладке Pipeline, а затем используйте её в чате, в Room App через invokeAI или в собственных приложениях.
Опубликовано VladShash 11 мая 2026 г.. Источник: https://huggingface.co/VladShash/deepseek-math-7B-lean-prover-dpo-300k-mistral-150k-olmo