DeepSeek представила новую версию Prover V2 математической ИИ-модели
DeepSeek обновила ИИ-модель Prover, специализирующуюся на доказательстве теорем и решении сложных математических задач. Модель построена на базе MoE-архитектуры с 671 миллиардами параметров и имеет облегчённый вариант, доступный на Hugging Face
Как сообщает TechCrunch со ссылкой на South China Morning Post, новая версия Prover V2 и её облегчённый вариант уже доступны на платформе для разработчиков Hugging Face. Модель основана на архитектуре DeepSeek-V3, которая использует 671 миллиард параметров и технологию Mixture of Experts (MoE), позволяющую эффективно распределять задачи между узкоспециализированными модулями.
Технология MoE разбивает сложные вычисления на подзадачи, передавая их отдельным «экспертам», что повышает точность и скорость работы модели. Количество параметров напрямую влияет на способность ИИ решать нетривиальные математические проблемы. Отмечается, что это не первое обновление. Так, в августе DeepSeek уже обновляла Prover, позиционируя его как «открытую модель для формального доказательства теорем и математических рассуждений».
Новый релиз совпадает с активным прогрессом компании. Недавно стартап также представил обновлённую V3 — универсальную ИИ-модель, а в ближайшее время анонсирует улучшенную версию R1, ориентированную на логические рассуждения. Интересно, что в феврале Reuters сообщила, что DeepSeek может впервые привлечь внешние инвестиции.
Аналитики отмечают, что в целом компания делает ставку на научно-ориентированный ИИ, который может применяться в академических исследованиях и инженерных расчётах и, в отличие от чисто разговорных моделей, таких как ChatGPT, Prover V2 фокусируется на строгих математических выкладках, что делает его потенциально полезным инструментом для учёных и программистов.
Пока компания не раскрывает детали тестирования новой версии, но её публикация в открытом доступе говорит о готовности к сотрудничеству с разработчиками. Ожидается, что в ближайшие месяцы DeepSeek представит ещё несколько технологических новинок, укрепляя свои позиции на рынке искусственного интеллекта.
Мнение hdhAI
Обновление DeepSeek Prover V2 подтверждает тренд на специализированные ИИ-модели, способные не просто генерировать текст, а решать сложные научные задачи. Если Prover V2 подтвердит свою эффективность, это может ускорить внедрение ИИ в фундаментальную науку и автоматизацию сложных вычислений. Однако пока неясно, насколько модель превосходит существующие аналоги и сможет ли она действительно заменить экспертов-математиков. Если DeepSeek удастся совместить мощь MoE-архитектуры с точностью формальной логики, это может стать прорывом — но для этого нужны независимые тесты и реальные кейсы применения.
Источник: TechCrunch
