DeepSeek представила ИИ-модель DeepSeekMath-V2, предназначенную для решения сложных задач и доказательства теорем. Нейросеть показала высокую точность на крупных международных конкурсах и вышла на «золотой» уровень Международной олимпиады по математике (IMO-2025), а также Китайской математической олимпиады CMO-2024.
По словам разработчиков, DeepSeekMath-V2 построена поверх базовой модели DeepSeek-V3.2-Exp-Base и в своей работе полагается на цикл генерации/проверки. Отдельный верификатор оценивает корректность шагов доказательства, а генератор получает поощрение за выводы, которые проходят проверку.
Авторы отмечают, что цель ИИ-модели заключается именно в строгих математических рассуждениях с упором на доказательства теорем, а не только на окончательном числовом ответе. Благодаря такому подходу она набирает до 118 баллов из 120 возможных в задачах Putnam-2024.
В описании указано, что DeepSeekMath-V2 содержит 685 миллиардов параметров и занимает порядка 690 ГБ в формате fp8 на Hugging Face, где ИИ-модель представлена с открытыми весами по лицензии Apache-2.0.