Китайская ИИ-лаборатория DeepSeek выложила в открытый доступ новую ориентированную на математику ИИ-модель Prover. Об этом пишетSCMP.
Prover-V2 с открытым исходным кодом загружена на Hugging Face без официальных анонсов. Она является обновлением Prover-V1.5, которая дебютировала в августе — за несколько месяцев догромкого выпуска R1. Тогда компания описала продукт как модель для формального доказательства теорем и математических рассуждений.
Серия Prover состоит из специфическихLLM, ориентированных на математику. Подробности касательно нового инструмента не представлены. Судя по загруженным файлам, он построен на базеDeepSeek V3, которая имеет 671 млрд параметров и использует архитектуру Mixture-of-Experts (MoE).
Релиз DeepSeek состоялся на следующий день после того, как китайский техгигант Alibabaпредставилновое семейство ИИ-моделей Qwen3.
Напомним, в марте DeepSeekвыпустил крупное обновлениедля V3 с улучшениями в областях рассуждений, программирования и письма.
Ранее на компаниюобратили вниманиевласти Китая. Сотрудники работают в новых, более жестких условиях.
