DeepSeek V4.1 Pro è comparso nel codice sorgente di un agente di programmazione. È una fixture di test.

Alle 18:50 UTC dell'11 novembre 2026, un commit è atterrato nel codice del selettore di modelli di un agente di coding open source. Tra le stringhe aggiunte c'era deepseek/deepseek-v4.1-pro. Nel giro di un giorno l'id era passato da un diff di codice a un quote-tweet che recitava «DeepSeek-v4.1-pro potrebbe arrivare presto», e da lì alla timeline del tracker che rispondeva che una nuova balena non era qualcosa da aspettarsi a breve, «forse ci vorrà fino a febbraio (spero di no)». L'id è reale e il commit è pubblico, quindi l'avvistamento è verificabile — ma la cosa a cui punta no. La stringa compare esattamente due volte in tutto il repository, entrambe all'interno di un singolo test unitario, come riga di fixture in una tabella di voci di modelli inventati. DeepSeek V4.1 Pro non è stato rilasciato. La documentazione di DeepSeek continua a vendere esattamente due modelli chat: DeepSeek V4.1 Flash, ora sul checkpoint 1017, e DeepSeek V4 Pro, ancora sulla build 0813.

Questo è un articolo su ciò che sappiamo finora riguardo a un modello non ancora rilasciato, quindi nulla di quanto segue va letto come un lancio, una data, una scheda tecnica o un prezzo. Quello che segue è il documento che ha dato il via a tutto, il meccanismo al suo interno che spiega perché un id DeepSeek di livello Pro doveva esserci, e i controlli che distinguono un fixture da un listing — ciascuno dei quali chiunque può rieseguire in un browser.

Che cosa ha effettivamente aggiunto il commit, riga per riga

La modifica è piccola e il suo scopo è prosaico: fa sì che i quattro modelli coperti da un piano a pagamento si trovino in cima al selettore dei modelli anziché da qualche parte più in basso, e impedisce che quegli stessi modelli occupino un secondo slot tramite la logica di evidenziazione per famiglia del selettore. Cambiano due file sorgente. Uno introduce l'elenco dei quattro id; l'altro riscrive la funzione di proiezione e aggiunge un test.

Il test si chiama picker lists Token Pass models first without a second slot for their families. Costruisce otto righe di catalogo finte e verifica l'ordine che il picker dovrebbe produrre. Quattro delle otto sono gli ID per cui paga il piano. La fixture DeepSeek è scritta come deepseek/deepseek-v4.1-pro con released = 260 e has_tool_use = true, accanto a deepseek/deepseek-v4.1-flash con released = 255. Quei numeri non sono date, timestamp o qualcosa che un catalogo restituirebbe; sono chiavi di ordinamento ordinali usate dalle fixture così che le asserzioni non dipendano da un feed live. Ogni riga di quella tabella — comprese le voci Claude, GPT e Kimi — è scritta a mano per il test.

Ed è l'asserzione stessa la parte che conta. L'ordine previsto colloca l'id DeepSeek Pro al settimo posto su otto, dietro il modello Flash elencato dal piano a pagamento, dietro due modelli Z.ai e dietro sia un id Claude che un id OpenAI. In una proiezione reale del catalogo, un id Pro con una chiave di recenza più alta di quella dell'id Flash vincerebbe normalmente l'unico slot in evidenza della famiglia. Il test esiste per dimostrare che non accade, perché il modello del piano a pagamento occupa già quello slot. Una fixture scritta per perdere è una strana cosa da leggere come un annuncio.

Perché mai un id Pro dovesse stare nella fixture

Questo è l'unico elemento della storia che è meccanismo anziché speculazione, ed è anche l'elemento che fa sembrare l'avvistamento più significativo di quanto non sia.

La lista in evidenza del selettore assegna alla famiglia D​eepSeek un conteggio pari a uno: un modello D​eepSeek viene promosso nella sezione curata. Un modello coperto dal piano a pagamento viene spostato in cima come prima cosa. Se quel modello in cima appartiene alla famiglia D​eepSeek, lo slot della famiglia viene considerato occupato e il ciclo di evidenziazione viene saltato per essa. Questo è l'intero comportamento oggetto del test, ed è implementato come una sottrazione: il numero di slot meno il numero di modelli già selezionati per quella famiglia.

Per dimostrare che la sottrazione fa qualcosa, la fixture necessita di un secondo id DeepSeek che altrimenti sarebbe stato scelto — e deve essere il candidato più forte possibile, altrimenti il test non dimostra nulla. Il comparatore di famiglia del selettore preferisce il modello più recente in base alla chiave di recenza e, a parità di recenza, applica una classifica specifica di DeepSeek in cui un suffisso -pro viene ordinato prima di una variante thinking, che viene ordinata prima di tutto il resto, con -flash per ultimo. Una fixture -pro con una chiave di recenza più alta rispetto al modello Flash è quindi esattamente la riga che ruberebbe lo slot se la nuova sottrazione venisse rimossa. Il test è scritto in modo che la fixture debba essere un id Pro e debba essere più recente di Flash.

Così ottieni un id D​eepSeek Pro nel diff senza che nessuno ne sappia nulla. Di per sé, però, non spiega la versione. Il livello Pro attivo di D​eepSeek è DeepSeek V4 Pro, e il fixture ovvio sarebbe stato l'id di un modello esistente. Chi ha scritto la riga ha puntato invece su v4.1-pro — che è o un'ipotesi naturale per il nome successivo della linea, oppure la copia di una stringa reale presa da qualche altra parte. Il file non offre alcun modo per stabilire quale delle due cose sia, e questa ambiguità è l'intero contenuto della fuga di notizie. Tutto ciò che è stato pubblicato dopo l'11 novembre discende da essa.

I quattro controlli che distinguono un impianto fisso da un annuncio

Se D​eepSeek avesse davvero preparato un livello Pro, l'id comparirebbe da qualche parte che un cliente può raggiungere, non solo in una tabella di test. Ognuno dei seguenti è stato verificato il 13 novembre 2026 e ciascuno è un caricamento di una singola pagina.

• Il changelog di DeepSeek — la voce più recente è il 17 ottobre 2026, l'aggiornamento Flash 1017 e l'apertura dell'API di ricerca. Non c'è mai stata una voce V4.1 Pro. Ogni versione V4 rilasciata da DeepSeek è stata annunciata prima su questa pagina.

• L'elenco dei modelli e il listino prezzi di D​eepSeek — due nomi di modello, deepseek-flash e deepseek-v4-pro, con le stringhe di versione DeepSeek-V4.1-Flash-1017 e DeepSeek-V4-Pro-0813 associate. Nessuna terza riga, nessuna riga V4.1 di fascia Pro, nessun segnaposto.

• L'organizzazione deepseek-ai su Hugging Face — il repository più recente è DeepSeek-V4.1-Flash-1017, creato il 17 ottobre, modificato l'ultima volta il 10 novembre con un commit relativo alla chat template. Non esiste alcun repository V4.1 Pro, nessuno ad accesso limitato, nulla che possa dirsi anche solo vagamente privato.

• Il nostro catalogo — 215 id di modello, undici dei quali D​eepSeek, e nessuno che corrisponda a una qualsiasi grafia di v4.1-pro. Le voci D​eepSeek arrivano al massimo a DeepSeek V4.1 Flash su 1017 e DeepSeek V4 Pro su 0813.

I cataloghi del gateway che rispecchiano l'API di DeepSeek, incluso quello che l'agente in questione legge a runtime, elencano quattordici ID DeepSeek e nessuno di essi è V4.1 Pro. È il contrasto singolo più netto in questa storia: lo stesso progetto fornisce un selettore che recupera un catalogo live, e la stringa è assente dal catalogo mentre è presente nel test che viene eseguito contro uno finto.

Il nome non è nuovo, e la sua traccia documentale è una sola frase.

DeepSeek V4.1 Pro è entrato in circolazione il 10 settembre 2026, nella nota di rilascio distribuita con DeepSeek V4.1 Flash. La nota annunciava un mixture of experts da 552 miliardi di parametri su una nuova architettura Causal Encoder-Decoder — 8 miliardi di parametri attivi in input, 16 miliardi in output, comprensione nativa delle immagini, una KV cache pari a un quarto di quella della generazione precedente — e poi, nello stesso elenco puntato, affermava che dalle 04:00 UTC del 14 settembre tutte le richieste a deepseek-v4-pro sarebbero state instradate a V4.1 Flash alle tariffe di Flash, e che ciò sarebbe continuato "fino al lancio di V4.1-Pro".

Il reindirizzamento non ha superato il contatto con gli sviluppatori, e D​eepSeek ha ripristinato DeepSeek V4 Pro con fatturazione invariata. Il riferimento tra parentesi è sopravvissuto. Nelle nove settimane successive, è stata l'unica prova documentale che una fascia Pro della linea V4.1 sia mai stata prevista: nessuna scheda, nessun checkpoint, nessun prezzo, nessuna data e — a partire da questa settimana — nessuna seconda menzione in alcun materiale di D​eepSeek stesso.

Ciò che la nota di settembre stabilisce è la forma che un V4.1 Pro dovrebbe assumere. D​eepSeek ha descritto Flash come il modello più piccolo di una nuova famiglia di architetture, costruito in modo da poter essere scalato, e ha affermato che ha superato V4 Pro in capacità, costo, velocità e tempo di esecuzione totale. Un livello Pro in quella famiglia è il passo successivo naturale e una cosa ragionevole da aspettarsi. L'aspettativa non è una prova, e il fixture non è un programma.

Che cosa è richiamabile oggi, e il confronto che una V4.1 Pro dovrebbe vincere

Due modelli DeepSeek rispondono alle richieste, e sono più distanti di quanto il nome suggerisca. DeepSeek V4.1 Flash, sul checkpoint 1017, è un modello multimodale con contesto da 1M e input visivo, output massimo di 384K, thinking attivo per impostazione predefinita con tre livelli di impegno, e licenza MIT sui pesi. Fuori dalle ore di punta costa $0,15 per milione di token di input in caso di cache miss, $0,003 in caso di cache hit e $0,60 per milione di output; le ore di punta — 01:00–04:00 e 06:00–10:00 UTC nei giorni feriali — costano il doppio. DeepSeek V4 Pro, sulla build 0813, è il flagship da 1,6 trilioni di parametri della generazione precedente: solo testo, niente visione, lo stesso contesto da 1M e $0,66 input / $1,98 output fuori dalle ore di punta, ovvero circa quattro volte e mezzo il prezzo di Flash per un modello che i benchmark dello stesso DeepSeek collocano dietro Flash.

Anche sull'harness indipendente, il divario non è affatto contenuto. Artificial Analysis assegna a DeepSeek V4.1 Flash 1017 un punteggio di 33 sul suo Intelligence Index, con 14,8 minuti e 0,60 $ per attività dell'indice, generando 174 milioni di token per arrivarci — prolisso e più lento del modello mediano per attività. Lo stesso indice colloca Kimi K3.1 Pro, il modello open-weights meglio piazzato, a 46. È il numero che un V4.1 Pro avrebbe il compito di spostare, ed è il motivo per cui il nome continua ad attirare attenzione: il divario tra la fascia economica di DeepSeek e la frontiera open-weights è di tredici punti di indice, esattamente il tipo di divario che un modello di punta dovrebbe colmare.

Se volete scoprire se il checkpoint 1017 colma qualcuna di queste lacune sul vostro carico di lavoro, la domanda pratica non è su quale livello di DeepSeek standardizzarvi, ma se potete permettervi di sbagliare al riguardo. Entrambi i modelli stanno dietro un unico endpoint su OrcaRouter al prezzo di listino del fornitore senza ricarichi, il che significa che le tariffe Flash e Pro riportate sopra sono gli stessi numeri che pagate, e la finestra off-peak è la stessa. Qui questo conta più del solito: i due modelli differiscono di 4,5x sul prezzo dell'output e di una quantità sconosciuta sulla qualità per il vostro compito specifico, quindi il modo economico per risolverlo è instradare una porzione di traffico reale su uno e una porzione sull'altro, e lasciare che il failover automatico assorba l'esperimento se il modello che avete provato si rivela la scelta sbagliata.

Le undici ore che hanno trasformato una presenza fissa in una voce

La cronologia è abbastanza breve da poter essere enunciata esattamente, ed è la migliore prova che nessuno dei coinvolti avesse nuove informazioni.

• 11 novembre, 18:50 UTC — il commit aggiunge il test del picker. L'id è nel diff e il diff è pubblico.

• 12 novembre, 13:35 UTC — un autore del post nota il diff, rimanda direttamente alla riga nel file sorgente e scrive che D​eepSeek V4.1 Pro "potrebbe arrivare presto", aggiungendo l'alternativa che potrebbe trattarsi solo di un altro aggiornamento checkpoint di Flash. Il post è onesto sull'incertezza e interpreta correttamente il file come prova dell'intenzione.

• 12 novembre, 23:08 UTC — l'account tracker più noto per la copertura di DeepSeek risponde con l'interpretazione che il file non supporta: il test verifica solo che un modello del piano a pagamento in cima occupi lo slot della sua famiglia, quindi servono più di un ID DeepSeek. La risposta aggiunge che l'API di DeepSeek non ha nulla di nuovo, che un nuovo flagship non è qualcosa da aspettarsi presto e che febbraio è la stima pessimistica.

Niente in quella sequenza è una dichiarazione di un fornitore, e nessuna parte coinvolta afferma di averne una. L'analisi del meccanismo fatta dal secondo autore del post è corretta per quanto consente la fonte — la sottrazione degli slot è esattamente ciò a cui serve il test — e la conclusione tratta è quella conservativa: il fixture è un fixture.

Cosa trasformerebbe questo da una fixture a un fatto?

Quattro cose lo farebbero, e solo una di esse è un'indiscrezione. Una voce nel changelog della documentazione API di DeepSeek che nomina un tier Pro, dato che è lì che ogni rilascio V4 è stato annunciato e la sua voce più recente è ancora datata 17 ottobre. Un repository nell'organizzazione deepseek-ai con V4.1 Pro nel nome, dato che sia V4 sia V4.1 sono stati rilasciati come pesi aperti con licenza MIT entro un giorno dal lancio delle rispettive API. Una terza riga nel listino prezzi — DeepSeek non ha mai venduto un modello che non comparisse lì. Oppure un id che si risolve sull'API, che è il controllo che avrebbe risolto la questione con una sola richiesta e invece la risolve nel senso opposto.

Finché uno di questi non si concretizza, il riassunto onesto è più limitato di quanto suggeriscano i post e più utile di una data. Un ingegnere in attività ha digitato deepseek-v4.1-pro in una tabella di test l'11 novembre, molto probabilmente perché è l'ovvio nome successivo in una linea di cui l'autore si stava già occupando, e forse perché era stato visto da qualche parte. La stringa vale la pena conoscerla proprio per questo motivo — è un segnale piccolo, debole e reale che chi è vicino agli strumenti si aspetti quel nome — e non vale assolutamente nulla come programma. Il febbraio del tracker è una congettura, il «coming soon» del quote-tweet è una congettura, e l'unica cosa che l'uno o l'altro ha e che un lettore non ha è lo stesso commit pubblico.