Создатели DeepSeek быстро ответили на выпуск ИИ, который опередил DeepSeek, ChatGPT, Grok и Gemini. Китайцы запустили Prover-V2
Китайский стартап DeepSeek из Ханчжоу без лишнего шума открыл исходный код новой специализированной модели искусственного интеллекта, всего через день после того, как Alibaba представила третье поколение своего семейства Qwen. Это событие вызвало значительный интерес в сообществе ИИ, так как DeepSeek продолжает активно развивать свои технологии, несмотря на конкуренцию со стороны крупных игроков.
Компания DeepSeek загрузила свою последнюю модель Prover-V2 с открытым исходным кодом в Hugging Face, крупнейшее в мире сообщество ИИ с открытым исходным кодом. Серия Prover компании DeepSeek состоит из предметно-ориентированных моделей, предназначенных для решения математических задач. Это делает Prover-V2 особенно ценной для специалистов, работающих в области математики и связанных дисциплин.
Пока компания не предоставила никаких подробностей о модели, которая, предположительно, построена на основе модели V3 DeepSeek и имеет 671 миллиард параметров. Разработка математической модели, которая могла бы улучшить математические возможности базовой модели общего назначения, породила предположения о том, что DeepSeek вскоре запустит дополнительные модели. Компания DeepSeek не отреагировала на просьбу прокомментировать ситуацию.
Запуск Prover-V2 последовал за выпуском Qwen3 от Alibaba. Гигант электронной коммерции заявил, ссылаясь на бенчмарки, что его новейшая модель превзошла DeepSeek-R1 и модели рассуждений OpenAI o1. Это свидетельствует о том, что конкуренция в области ИИ продолжает нарастать, и компании стремятся превзойти друг друга в разработке новых моделей.
Китайский чат-бот DeepSeek в понедельник снова стал доступен на южнокорейском рынке — спустя более двух месяцев после того, как его загрузки были приостановлены, когда власти указали на нарушения правил защиты данных. Это событие подчеркивает важность соблюдения нормативных требований в области защиты данных для компаний, работающих в сфере ИИ.
В целом, запуск Prover-V2 демонстрирует, что DeepSeek продолжает активно развиваться и стремится оставаться лидером в области специализированных моделей ИИ. Компания Alibaba также показала, что она не собирается уступать свои позиции, представив модель Qwen3, которая, по утверждениям, превосходит конкурентов. Эти события подчеркивают динамику и инновационный потенциал отрасли ИИ, где каждая новая модель может стать прорывом в решении сложных задач.
Подпишитесь на новости в телеграм: https://t.me/itnewsros