Вышел DeepSeekMath-V2 — математический ИИ олимпиадного уровня
habr.comDeepSeek представила модель DeepSeekMath-V2 — специализированный ИИ для решения сложных задач и доказательства теорем, который впервые для открытой модели выходит на "золотой" уровень Международной олимпиады по математике (IMO-2025) и Китайской математической олимпиады CMO-2024.
По данным команды, DeepSeekMath-V2 набирает до 118 баллов из 120 в задачах Putnam-2024. Модель распространяется с открытыми весами по лицензии Apache-2.0 и уже доступна на Hugging Face.DeepSeekMath-V2 построена поверх базовой модели DeepSeek-V3.2-Exp-Base и тренируется в связке "генератор + проверяющий".
