Компания DeepSeek, базирующаяся в Китае, представила новую версию своей математической модели искусственного интеллекта DeepSeekMath-V2, которая демонстрирует выдающиеся результаты в решении сложных математических задач. В отличие от разработок OpenAI и Google, код этой модели находится в открытом доступе, что позволяет изучать её логику и алгоритмы.

DeepSeekMath-V2 успешно решила 5 из 6 задач на Международной математической олимпиаде (IMO) 2025 года, что соответствует уровню золотой медали. Кроме того, модель набрала 118 баллов из 120 на конкурсе Putnam, престижном математическом соревновании для студентов, обойдя лучший результат, показанный человеком (90 баллов).

Иллюстрация: Sora

Особое внимание в DeepSeekMath-V2 уделено проблеме «галлюцинаций», когда модель выдаёт правильный ответ, используя ошибочные или бессмысленные рассуждения. Для решения этой проблемы авторы работы разработали новый подход, основанный на «мета-верификации». Он заключается в том, что другая нейросеть оценивает качество анализа, проведённого основной моделью, предотвращая «подтасовку» результатов.

В основе архитектуры лежит конвейер обучения Cold Start. Вместо использования огромных наборов данных формальных математических доказательств, модель итеративно генерирует собственные обучающие данные. Это позволяет ей совершенствоваться, не требуя больших объёмов размеченных данных, созданных человеком. Во время работы модель генерирует 64 варианта решения задачи, а затем выбирает наиболее логически обоснованный.

Выпуск DeepSeekMath-V2 стал ответом на задержки в разработке флагманской модели R2, вызванные проблемами с поставками оборудования.