Авторы популярной системы DeepSeek быстро отреагировали на выход на рынок искусственного интеллекта, обогнавшего DeepSeek, ChatGPT, Grok и Gemini. Китайцы представили свою новую разработку Prover-V2.

Китайский стартап DeepSeek без лишнего шума представил новую специализированную модель искусственного интеллекта с открытым исходным кодом всего через день после анонса Alibaba третьего поколения Qwen. DeepSeek, базирующийся в Ханчжоу, загрузил свою последнюю модель Prover-V2 с открытым исходным кодом на платформу Hugging Face, крупнейшее сообщество ИИ с открытым исходным кодом в мире. Семейство моделей Prover компании DeepSeek специализируется на решении математических задач. Пока подробности о новой модели, предположительно основанной на модели V3 DeepSeek с 671 миллиардами параметров, не разглашаются. Развитие математической модели, способной улучшить математические возможности базовой универсальной модели, вызвало предположения о скором выпуске дополнительных моделей со стороны DeepSeek. Компания не комментировала ситуацию. Запуск Prover-V2 последовал за анонсом Qwen3 от Alibaba, который, по данным бенчмарков, превзошел модель DeepSeek-R1 и модели рассуждений OpenAI o1. Китайский чат-бот DeepSeek снова стал доступен на южнокорейском рынке после более чем двухмесячного перерыва, вызванного нарушениями правил защиты данных.

Источник