Altcoin Hub logo Altcoin Hub logo
Forklog 2025-04-30 14:12:28

DeepSeek выпустила математическую ИИ-модель Prover-V2

Китайская ИИ-лаборатория 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 с улучшениями в областях рассуждений, программирования и письма.  Ранее на компанию обратили внимание власти Китая. Сотрудники работают в новых, более жестких условиях.

Leggi la dichiarazione di non responsabilità : Tutti i contenuti forniti nel nostro sito Web, i siti con collegamento ipertestuale, le applicazioni associate, i forum, i blog, gli account dei social media e altre piattaforme ("Sito") sono solo per le vostre informazioni generali, procurati da fonti di terze parti. Non rilasciamo alcuna garanzia di alcun tipo in relazione al nostro contenuto, incluso ma non limitato a accuratezza e aggiornamento. Nessuna parte del contenuto che forniamo costituisce consulenza finanziaria, consulenza legale o qualsiasi altra forma di consulenza intesa per la vostra specifica dipendenza per qualsiasi scopo. Qualsiasi uso o affidamento sui nostri contenuti è esclusivamente a proprio rischio e discrezione. Devi condurre la tua ricerca, rivedere, analizzare e verificare i nostri contenuti prima di fare affidamento su di essi. Il trading è un'attività altamente rischiosa che può portare a perdite importanti, pertanto si prega di consultare il proprio consulente finanziario prima di prendere qualsiasi decisione. Nessun contenuto sul nostro sito è pensato per essere una sollecitazione o un'offerta