Cos'è
DeepSeek V4 Pro è il modello di punta della famiglia V4 annunciata da DeepSeek il 24 aprile 2026. Si tratta di un grande modello di linguaggio (LLM) a pesi aperti, distribuito con licenza MIT sia per il codice che per i pesi, disponibile su Hugging Face. È un modello a Mixture of Experts (MoE): 1,6 trilioni di parametri totali, di cui 49 miliardi attivi per ogni token processato. È progettato per ragionamento complesso, coding di alto livello e workflow agentici su contesti molto lunghi.
La famiglia V4 è stata rilasciata in versione preview con due varianti: V4-Pro e la più leggera V4-Flash. Entrambe condividono il contesto da un milione di token, ma V4-Pro attiva quasi quattro volte più parametri per token ed è la versione che registra i punteggi più alti sui benchmark tecnici. Il modello è accessibile tramite API ufficiale (deepseek-v4-pro) e può essere eseguito in locale su hardware adeguato. Supporta tre livelli di sforzo di ragionamento — non-thinking, thinking high e thinking max — selezionabili per singola richiesta tramite il parametro reasoning_effort. La modalità thinking max è talvolta indicata come DeepSeek-V4-Pro-Max ed è quella su cui DeepSeek riporta i risultati migliori.
A cosa serve / dove eccelle
V4 Pro si colloca come modello "frontier-adjacent" per sviluppatori, ricercatori e team tecnici che devono affrontare compiti complessi senza pagare i prezzi dei modelli chiusi di prima fascia. La scheda tecnica pubblicata su Hugging Face e le prime valutazioni indipendenti concordano su tre aree di eccellenza principali.
La prima è il coding e l'ingegneria del software. Secondo la documentazione ufficiale, V4-Pro-Max ottiene l'80,6% su SWE-bench Verified, punteggio confermato anche da tracker indipendenti come llm-stats. LiveCodeBench è riportato al 93,5% e il rating Codeforces al 3.206, entrambi valori di riferimento per modelli open-weight.