DeepSeek представила ИИ-модель DeepSeekMath-V2 для математических задач

Китайская компания DeepSeek представила новую ИИ-модель DeepSeekMath-V2. Она заявлена как продвинутая система для решения математических задач, соперничающая с золотыми призерами Международной олимпиады 2025 года и Китайской олимпиады 2024 года.

Китайская компания DeepSeek анонсировала передовую ИИ-модель математического рассуждения под названием DeepSeekMath-V2.

Согласно информации агентства Xinhua, данная модель отличается повышенной производительностью и расширенными возможностями для решения математических задач с применением искусственного интеллекта.

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

Новая модель DeepSeek продемонстрировала в рамках испытаний результаты на уровне золотых призеров Международной математической олимпиады 2025 года и Китайской математической олимпиады 2024 года. Разработчик придерживается мнения, что данный прорыв способствует созданию более мощных и надежных систем математического искусственного интеллекта.

Сфера искусственного интеллекта в Китае находится на этапе бурного развития. Ведущими компаниями в этой области выступают такие гиганты, как:

Alibaba Baidu DeepSeek Moonshot AI Tencent Zhipu AI