DeepSeekMath-V2: ИИ-модель получила уровень золотой медали на математической олимпиаде

DeepSeek заявил, что его новая модель DeepSeekMath-V2 ^[1] продемонстрировала результат уровня золотой медали на Международной математической олимпиаде (IMO), что, по мнению компании, позволяет ей составить серьезную конкуренцию ведущим западным лабораториям в области искусственного интеллекта ^[2].

Согласно данным стартапа, модель показала результаты, соответствующие золотым медалям на Международной математической олимпиаде (IMO) 2025 года и Китайской математической олимпиаде (CMO) 2024 года. Кроме того, в конкурсе Патнэма ИИ набрал 118 баллов из 120 возможных.

В технической документации ^[3] DeepSeek объясняет, что предыдущие ИИ-модели часто выдавали правильные ответы, не демонстрируя верных промежуточных решений. Для решения этой проблемы в DeepSeekMath-V2 реализован многоэтапный процесс проверки: верификатор оценивает корректность доказательства, а метаверификатор анализирует обоснованность самой проверки. Этот подход позволяет системе самостоятельно проверять и улучшать свои решения в реальном времени.

Важно отметить, что в статье не упоминается использование внешних инструментов вроде калькуляторов или интерпретаторов кода. Архитектура модели предполагает, что все тесты проводятся исключительно с использованием естественного языка. В экспериментах одна и та же модель DeepSeekMath-V2 генерирует доказательства и проверяет их. Эффективность достигается за счет способности ИИ анализировать и совершенствовать собственные решения без привлечения внешнего математического программного обеспечения.

Для решения особо сложных задач система масштабирует вычисления во время тестирования, параллельно выбирая и проверяя множество возможных доказательств, чтобы с высокой вероятностью получить верный ответ. Технически модель основана на архитектуре DeepSeek-V3.2-Exp-Base ^[4].

Делегируйте часть рутинных задач вместе с BotHub ^[5]! Для доступа к сервису не требуется VPN и можно использовать российскую карту. По ссылке ^[6] вы можете получить 100 000 бесплатных токенов для первых задач и приступить к работе с нейросетями прямо сейчас!

Источник ^[7]