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

Китайская компания DeepSeek, тихо и без лишней огласки, открыла исходный код своей новой специализированной модели искусственного интеллекта, всего через день после того, как Alibaba представила очередную версию своей линейки Qwen.

Стартап из Ханчжоу разместил последнюю модель Prover-V2 с открытым исходным кодом на платформе Hugging Face, являющейся ведущим мировым сообществом разработчиков ИИ с открытым исходным кодом. Серия Prover, разработанная DeepSeek, включает в себя предметно-ориентированные модели, специально созданные для решения математических задач.

На текущий момент компания не раскрыла подробностей о своей модели, которая, предположительно, основывается на версии V3 DeepSeek и обладает 671 миллиардом параметров. Разработка этой модели, призванной повысить математические возможности универсальной модели, вызвала предположения относительно возможного выпуска дополнительных моделей в ближайшем будущем. DeepSeek не дала комментариев по запросу.

Появление Prover-V2 произошло вслед за анонсированием Qwen-3 от Alibaba. Как утверждает гигант электронной коммерции, его новая модель, основываясь на бенчмарках, превзошла и DeepSeek-R1, и модели OpenAI o1 в области логических рассуждений.

Источник: iXBT