DeepSeekMath-V2: ИИ-модель на уровне золотой медали IMO
DeepSeek объявила, что её новая модель DeepSeekMath-V2 достигла уровня золотой медали на Международной математической олимпиаде (IMO), претендуя на конкуренцию с передовыми западными ИИ-лабораториями.
Модель показала результаты, соответствующие золотым медалям на IMO 2025 и Китайской математической олимпиаде (CMO) 2024 года. В конкурсе Патнэма ИИ набрал 118 баллов из 120.
Разработчики DeepSeek отмечают, что предыдущие ИИ часто выдавали верные ответы, но не демонстрировали обоснованных решений. DeepSeekMath-V2 использует многоэтапную систему проверки: верификатор оценивает доказательства, а метаверификатор – саму проверку, улучшая решения в реальном времени.
Модель работает исключительно с естественным языком, без использования внешних инструментов, таких как калькуляторы или интерпретаторы кода. DeepSeekMath-V2 генерирует и проверяет доказательства самостоятельно, совершенствуя их благодаря анализу собственных решений.
Для сложных задач система масштабирует вычисления, параллельно проверяя множество доказательств. Модель основана на архитектуре DeepSeek-V3.2-Exp-Base.
DeepseekMath-V2 решила пять из шести задач IMO 2025 и четыре задачи CMO 2024. На конкурсе Putnam 2024 модель решила полностью одиннадцать задач и получила частичное решение ещё для одной.
