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

ИИ-модель DeepSeekMath-V2 представляет собой передовую самопроверяемую структуру, способную не только обеспечить правильность ответов, но и предоставить логически обоснованные доказательства. DeepSeekMath-V2 объединяет две большие языковые модели: одна генерирует математическое решение, а другая тщательно проверяет ход рассуждений.

Этот механизм, по словам разработчиков, устраняет критическое ограничение текущего уровня ИИ-моделей, не гарантирующих правильную логику рассуждений даже при верном окончательном ответе.

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