DeepSeek V4.1 Pro dök upp i källkoden för en kodagent. Det är en testfixtur.

Klockan 18:50 UTC den 11 november 2026 landade en commit i modellväljarkoden för en kodagent med öppen källkod. Bland strängarna den lade till fanns deepseek/deepseek-v4.1-pro. Inom ett dygn hade id:t färdats från en koddiff till en citeringstweet med texten "DeepSeek-v4.1-pro kan vara på väg snart", och därifrån in i tidslinjen för trackern som svarade att en ny val inte var något att vänta sig inom snar framtid, "kanske dröjer det till feb (hoppas inte)". Id:t är verkligt och committen är offentlig, så iakttagelsen går att kontrollera – men det den pekar på är det inte. Strängen förekommer exakt två gånger i hela repot, båda gångerna i ett enda enhetstest, som en fixturrad i en tabell med påhittade modellposter. DeepSeek V4.1 Pro har inte släppts. DeepSeeks egen dokumentation marknadsför fortfarande exakt två chattmodeller: DeepSeek V4.1 Flash, nu på 1017-checkpointen, och DeepSeek V4 Pro, fortfarande på 0813-bygget.

Det här är en text om vad vi vet hittills om en ej släppt modell, så inget nedan bör läsas som en lansering, ett datum, ett specifikationsblad eller ett pris. Det som följer är dokumentet som startade det, mekanismen i dokumentet som förklarar varför ett Pro-nivå-ID för DeepSeek måste finnas där, och kontrollerna som skiljer en fixture från en listing – och som vem som helst kan köra om i en webbläsare.

Vad commiten faktiskt lade till, rad för rad

Ändringen är liten och dess syfte är vardagligt: den gör att de fyra modeller som en betalplan omfattar hamnar högst upp i modellväljaren i stället för någonstans längre ner, och hindrar samma modeller från att ta en andra plats via väljarens markeringslogik per familj. Två källfiler ändras. En inför listan med de fyra id:na; den andra skriver om projektionsfunktionen och lägger till ett test.

Testet heter ”picker lists Token Pass models first without a second slot for their families”. Det bygger åtta falska katalograder och verifierar vilken ordning väljaren ska producera. Fyra av de åtta är de id:n som planen betalar för. D​eepSeek-fixturen är skriven som deepseek/deepseek-v4.1-pro med released = 260 och has_tool_use = true, bredvid deepseek/deepseek-v4.1-flash med released = 255. De siffrorna är inte datum, tidsstämplar eller något som en katalog skulle returnera; de är ordningsnycklar som fixturerna använder så att assertionerna inte beror på ett liveflöde. Varje rad i den tabellen – inklusive posterna för Claude, G​PT och K​imi – är handskriven för testet.

Och själva assertionen är den del som spelar roll. Den förväntade ordningen placerar D​eepSeek Pro-id:t på sjunde plats av åtta, bakom Flash-modellen som betalplanen listar, bakom två Z.ai-modeller och bakom både ett Claude- och ett O​penAI-id. I en verklig katalogprojektion skulle ett Pro-id med högre recency-nyckel än Flash-id:t normalt vinna familjens enda framhävdningsplats. Testet finns för att bevisa att det inte gör det, eftersom betalplanens modell redan upptar den platsen. En fixtur skriven för att förlora är en märklig sak att läsa som ett tillkännagivande.

Varför ett Pro-id överhuvudtaget behövde finnas i fixturen

Detta är den enda delen av berättelsen som är mekanism snarare än spekulation, och det är också den del som får observationen att kännas mer meningsfull än den är.

Väljarens markeringslista ger D​eepSeek-familjen ett antal på ett: en D​eepSeek-modell flyttas upp till den kurerade sektionen. En modell som betalplanen omfattar flyttas först allra högst upp. Om den översta modellen tillhör D​eepSeek-familjen räknas familjens plats som upptagen, och markeringsloopen hoppas över för den. Det är hela beteendet som testas, och det är implementerat som en subtraktion: antalet platser minus antalet modeller som redan har valts för den familjen.

För att visa att subtraktionen gör något behöver fixturen ett andra DeepSeek-id som annars skulle ha valts – och det måste vara den starkast möjliga kandidaten, annars bevisar testet ingenting. Väljarens familjekomparator föredrar den nyaste modellen enligt recency-nyckeln, och vid lika recency tillämpar den en DeepSeek-specifik rangordning där ett -pro-suffix sorteras före en thinking-variant, som sorteras före allt annat, med -flash sist. En -pro-fixtur med en högre recency-nyckel än Flash-modellen är därför exakt den rad som skulle stjäla platsen om den nya subtraktionen togs bort. Testet är skrivet så att fixturen måste vara ett Pro-id och måste vara nyare än Flash.

Det ger dig ett D​eepSeek Pro-id i diffen utan att någon vet något. Det förklarar inte i sig självt versionen. D​eepSeeks aktiva Pro-nivå är DeepSeek V4 Pro, och den självklara fixturen skulle ha varit id:t för en modell som finns. Den som skrev raden tog till v4.1-pro i stället – vilket antingen är en naturlig gissning på nästa namn i serien, eller en kopia av en verklig sträng från någon annanstans. Filen ger inget sätt att avgöra vilket, och den tvetydigheten är hela innehållet i läckan. Allt som publicerats efter 11 november är en följd av det.

De fyra kontrollerna som skiljer en fast inredning från en annons

Om DeepSeek verkligen hade tagit fram en Pro-nivå skulle id:t synas någonstans där en kund kan komma åt det, inte bara i en testtabell. Var och en av följande kontrollerades den 13 november 2026 och var och en är en sidladdning.

• DeepSeeks ändringslogg – den senaste posten är 17 oktober 2026, Flash 1017-uppdateringen och öppnandet av sök-API:t. Det har aldrig funnits någon post för V4.1 Pro. Varje V4-version som DeepSeek har släppt har först tillkännagivits på den här sidan.

• D​eepSeeks modelllista och prislista — två modellnamn, deepseek-flash och deepseek-v4-pro, med versionssträngarna DeepSeek-V4.1-Flash-1017 och DeepSeek-V4-Pro-0813 kopplade. Ingen tredje rad, ingen V4.1-rad för Pro-nivån, ingen platshållare.

• deepseek-ai-organisationen på Hugging Face – det nyaste repositoriet är DeepSeek-V4.1-Flash-1017, skapat den 17 oktober och senast ändrat den 10 november med en commit för chattmall. Det finns inget V4.1 Pro-repository, inget gated sådant och inget privatnära.

• Vår egen katalog – 215 modell-id:n, elva av dem D​eepSeek, och ingen som matchar någon stavning av v4.1-pro. D​eepSeek-posterna når som högst D​eepSeek V4.1 Flash på 1017 och D​eepSeek V4 Pro på 0813.

Gateway-kataloger som speglar D​eepSeeks API, inklusive den som agenten i fråga läser vid körning, listar fjorton D​eepSeek-id:n och ingen av dem är V4.1 Pro. Det är den skarpaste enskilda kontrasten i den här historien: samma projekt levererar en väljare som hämtar en livekatalog, och strängen saknas i katalogen men finns i testet som körs mot en falsk sådan.

Namnet är inte nytt, och dess dokumentation är en enda mening.

DeepSeek V4.1 Pro började cirkulera den 10 september 2026, i versionsinformationen som medföljde DeepSeek V4.1 Flash. Informationen aviserade en mixture of experts med 552 miljarder parametrar på en ny Causal Encoder-Decoder-arkitektur – 8 miljarder parametrar aktiva vid indata, 16 miljarder vid utdata, inbyggd bildförståelse, en KV-cache som är en fjärdedel så stor som föregående generations – och sade sedan i samma punktlista att från och med 04:00 UTC den 14 september skulle alla deepseek-v4-pro-förfrågningar dirigeras till V4.1 Flash till Flash-priser, och att detta skulle fortsätta "till dess att V4.1-Pro lanseras".

Omdirigeringen överlevde inte kontakten med utvecklarna, och D​eepSeek återställde DeepSeek V4 Pro med oförändrad debitering. Parentesen överlevde. Under de nio veckor som gått har den varit det enda dokumentära beviset för att en Pro-nivå i V4.1-serien överhuvudtaget är planerad: inget kort, ingen checkpoint, inget pris, inget datum och – sedan den här veckan – inget andra omnämnande någonstans i D​eepSeeks eget material.

Det som septembernoten faktiskt fastställer är den form som en V4.1 Pro skulle behöva passa in i. DeepSeek beskrev Flash som den minsta modellen i en ny arkitekturfamilj, byggd för att kunna skalas upp, och hävdade att den överträffade V4 Pro när det gäller kapacitet, kostnad, hastighet och total körtid. En Pro-nivå i den familjen är det naturliga nästa steget och något rimligt att förvänta sig. Förväntan är inte bevis, och fixturen är inte ett tidsschema.

Vad kan anropas i dag, och jämförelsen som en V4.1 Pro skulle behöva vinna

Två DeepSeek-modeller besvarar förfrågningar, och de skiljer sig mer åt än namnen antyder. DeepSeek V4.1 Flash, på checkpointen 1017, är en multimodal modell med 1M-kontext, bildindata, maximalt 384K utdata, tänkande på som standard med tre ansträngningsnivåer och MIT-licens på vikterna. I lågtrafik kostar den 0,15 USD per miljon indatatoken vid cachemiss, 0,003 USD vid cacheträff och 0,60 USD per miljon utdata; högtrafik – 01:00–04:00 och 06:00–10:00 UTC på vardagar – kostar dubbelt. DeepSeek V4 Pro, på 0813-versionen, är flaggskeppet från föregående generation med 1,6 biljoner parametrar: endast text, ingen vision, samma 1M-kontext och 0,66 USD för indata / 1,98 USD för utdata i lågtrafik, eller ungefär fyra och en halv gånger Flash-priset för en modell som DeepSeeks egna benchmarks placerar efter den.

Inte heller i det oberoende testramverket är gapet litet. Artificial Analysis ger D​eepSeek V4.1 Flash 1017 33 poäng på sitt Intelligence Index, på 14,8 minuter och 0,60 dollar per indexuppgift, och genererar 174 miljoner tokens för att nå dit – ordrikt och långsammare än medianmodellen per uppgift. Samma index placerar Kimi K3.1 Pro, det främsta bidraget med öppna vikter, på 46. Det är siffran som en V4.1 Pro skulle byggas för att flytta, och det är anledningen till att namnet fortsätter att väcka uppmärksamhet: gapet mellan D​eepSeeks billiga nivå och fronten för öppna vikter är tretton indexpoäng, vilket är precis den sorts gap som en flaggskeppsmodell förväntas stänga.

Om du vill ta reda på om 1017-checkpointen täpper till något av det för din egen arbetsbelastning, är den praktiska frågan inte vilken DeepSeek-nivå du ska standardisera på, utan om du har råd att ha fel om det. Båda modellerna ligger bakom en enda slutpunkt på OrcaRouter till leverantörens listpris utan påslag, vilket innebär att priskorten för Flash och Pro ovan är samma siffror som du betalar, och att fönstret för lågtrafik är samma fönster. Det spelar större roll än vanligt här: de två modellerna skiljer sig 4,5 gånger i utdatapris och med en okänd marginal i kvalitet för din specifika uppgift, så det billiga sättet att avgöra det är att skicka en del av den verkliga trafiken till den ena och en del till den andra, och låta automatisk failover absorbera experimentet om modellen du provade visar sig vara fel val.

De elva timmarna som förvandlade en självklarhet till ett rykte

Tidslinjen är kort nog att återges exakt, och den är det bästa beviset på att ingen av de inblandade hade någon ny information.

• 11 november, 18:50 UTC — commiten lägger till väljartestet. Id:t finns i diffen och diffen är offentlig.

• 12 november 13:35 UTC — en användare upptäcker diffen, länkar direkt till raden i källfilen och skriver att DeepSeek V4.1 Pro "kan vara på väg" och tillägger alternativet att det helt enkelt kan vara ännu en checkpoint-uppdatering av Flash. Inlägget är ärligt om osäkerheten och tolkar filen korrekt som bevis på avsikt.

• 12 november, 23:08 UTC — tracker-kontot som är mest känt för sin D​eepSeek-bevakning svarar med tolkningen att filen inte stöder det: testet kontrollerar bara att en betalplansmodell på toppen fyller sin familjs plats, så det krävs mer än ett D​eepSeek-id. Svaret tillägger att D​eepSeek:s API inte har något nytt, att en ny flaggskeppsmodell inte är något att förvänta sig snart, och att februari är den pessimistiska gissningen.

Ingenting i den sekvensen är ett leverantörsuttalande, och ingen part i den hävdar att ett sådant finns. Den andra skribentens analys av mekanismen är korrekt så långt källan sträcker sig – slot-subtraktionen är precis vad testet är till för – och slutsatsen som dras är den konservativa: fixturen är en fixture.

Vad skulle göra detta från ett antagande till ett faktum

Fyra saker skulle avgöra saken, och bara en av dem är ett rykte. En post i ändringsloggen i DeepSeeks API-dokumentation som namnger en Pro-nivå, eftersom det är där varje V4-släpp har tillkännagivits och dess nyaste post fortfarande är från den 17 oktober. Ett repository i deepseek-ai-organisationen med V4.1 Pro i namnet, eftersom både V4 och V4.1 släpptes som öppna vikter under MIT inom en dag från deras API-lansering. En tredje rad i prislistan — DeepSeek har aldrig sålt en modell som inte listats där. Eller ett id som löses upp i API:et, vilket är kontrollen som skulle ha avgjort detta med en enda förfrågan och i stället avgör det åt andra hållet.

Tills något av dem blir verklighet är den ärliga sammanfattningen snävare än inläggen antyder och mer användbar än ett datum. En yrkesverksam ingenjör skrev deepseek-v4.1-pro i en testtabell den 11 november, troligen för att det är det uppenbara nästa namnet i en serie som författaren redan hanterade, och möjligen för att det hade setts någonstans. Strängen är värd att känna till just av den anledningen — det är en liten, svag, verklig signal om att människor nära verktygen förväntar sig namnet — och inte värd någonting alls som tidplan. Trackerns februari är en gissning, citat-tweetens ”kommer snart” är en gissning, och det enda någon av dem har som en läsare inte har är samma offentliga commit.