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

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

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

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

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

• Alibaba
• Baidu
• DeepSeek
• Moonshot AI
• Tencent
• Zhipu AI