🔊 DeepSeek ответил на запуск Prover-V2, превзошедшего ChatGPT, Grok и Gemini
Китайский стартап DeepSeek представил новую модель искусственного интеллекта Prover-V2, ориентированную на решение математических задач. 🧮 Модель с открытым исходным кодом была загружена на платформу Hugging Face. Prover-V2, предположительно, основана на модели DeepSeek V3 и содержит 671 миллиард параметров.
Этот шаг последовал за выпуском модели Qwen3 от Alibaba, которая, по заявлениям, превзошла DeepSeek и другие ведущие ИИ-решения. 🚀 DeepSeek также вернулся на южнокорейский рынок после временной блокировки из-за нарушений в области защиты данных.
#искусственныйинтеллект #deepseek #математика
