DeepSeekMath-V2: новая версия математической модели от DeepSeek достигла золотых результатов на олимпиадах
DeepSeekMath-V2: прорыв в области математических моделей ИИ
Компания DeepSeek представила новую версию математической модели — DeepSeekMath-V2. Система специализируется на решении сложных задач и доказательстве теорем.
Главное достижение модели — она первой среди открытых ИИ-систем достигла золотого уровня на:
- Международной олимпиаде по математике (IMO-2025);
- Китайской олимпиаде (CMO-2024).
Команда разработчиков сообщила о высоких результатах тестирования. На задачах Putnam-2024 модель набрала до 118 баллов из 120 возможных — это один из лучших показателей среди всех математических систем ИИ.
Модель доступна бесплатно по лицензии Apache-2.0 с открытыми весами. Загрузить её можно на платформе Hugging Face. Однако для запуска потребуется серьёзное оборудование.
Особенности и принципы работы
В основе DeepSeekMath-V2 лежит базовая модель DeepSeek-V3.2-Exp-Base. Обучение построено по схеме «генератор плюс проверяющий»:
- Верификатор анализирует каждый шаг доказательства на корректность.
- Генератор получает положительное подкрепление, если его выводы успешно проходят проверку.
Разработчики подчёркивают принципиальное отличие своего подхода. В то время как большинство открытых математических моделей фокусируются на получении финального числового ответа, DeepSeekMath-V2 нацелена на построение строгих доказательств с полным обоснованием каждого шага.
Такой подход позволяет системе справляться с задачами уровня математических олимпиад. ИИ выдаёт не просто ответ, а детальное пошаговое решение. До сих пор подобные возможности были только у закрытых коммерческих систем (например, у Gemini 2.5 DeepThink и экспериментальной модели OpenAI). DeepSeekMath-V2 стала первой открытой моделью с таким функционалом.
Технические характеристики
Технические параметры модели впечатляют:
- количество параметров — 685 миллиардов;
- объём файлов с весами в формате fp8 — около 690 ГБ.
Запустить такую модель на домашнем компьютере невозможно — требуется оборудование уровня небольшого научного кластера.
Дополнительные возможности
DeepSeek предоставила не только саму модель, но и полную техническую документацию. Кроме того, реализована интеграция с системой формальных доказательств DeepSeek-Prover-V2. Она переводит решения в формат Lean, который широко используется математиками для автоматической проверки корректности доказательств.