DeepSeekMath
Открытая модель DeepSeek для математических рассуждений и доказательства теорем, которая сама проверяет свои выводы.
- Без регистрации
- Да
- Русский интерфейс
- Нет
- Разработчик
- DeepSeek
- Версия
- V2 · с 27 ноября 2025
- Страна
- Китай
DeepSeekMath — линейка открытых математических моделей компании DeepSeek. Актуальное поколение построено на базе большой языковой модели DeepSeek-V3.2-Exp-Base и нацелено на строгое пошаговое доказательство, а не только на получение верного числового ответа. Для этого обучены два компонента: верификатор, оценивающий полноту и строгость доказательства, и генератор, который использует верификатор как оценщика и устраняет найденные недочёты до выдачи финального решения. Модель показала золотой уровень на олимпиадах IMO 2025 и CMO 2024 и 118 баллов из 120 на Putnam 2024 при увеличенном вычислительном бюджете на этапе вывода. Веса опубликованы на Hugging Face под лицензией Apache 2.0.
Возможности
Доказательство теорем
Строит строгие пошаговые доказательства для олимпиадных и исследовательских задач, где важен ход рассуждения, а не только ответ.
Самопроверка рассуждений
Обученный верификатор оценивает доказательство, а генератор исправляет найденные ошибки до финального ответа.
Масштабирование вычислений
Увеличение вычислительного бюджета при выводе повышает качество решений сложных задач.
Результаты на олимпиадах
Золотой уровень на IMO 2025 и CMO 2024, 118 из 120 на Putnam 2024; выходные данные модели опубликованы.
Открытые веса
Модель доступна на Hugging Face в формате safetensors с квантованием fp8 и запускается через стандартные библиотеки.
Кому подойдёт
- Исследователи и учёные
Модель пригодна для экспериментов с самоверифицируемыми рассуждениями и автоматическим доказательством теорем.
- Студенты и школьники
Помогает разбирать олимпиадные задачи и проверять строгость собственных доказательств.
- Разработчики
Открытые веса позволяют развернуть модель у себя и встроить в математические инструменты.
Как начать
- Скачать веса модели со страницы на Hugging Face.
- Подготовить окружение для вывода по инструкции репозитория DeepSeek-V3.2-Exp.
- Запустить модель на собственных видеокартах и подать условие задачи.
- При необходимости увеличить вычислительный бюджет для более надёжных доказательств.
Тарифы
Расходы — только на собственное оборудование.
Ограничения
- Для запуска нужна самостоятельная установка и мощное оборудование: модель крупная, на архитектуре DeepSeek-V3.2.
- Готового веб-интерфейса у модели нет.
- Лучшие результаты получены при увеличенном вычислительном бюджете на этапе вывода.
Платформы и интеграции
Семейство
Соседи по смыслу
за последний месяц