DeepSeek V4.1 Pro apareceu no código-fonte de um agente de programação. É um fixture de teste.

Às 18:50 UTC de 11 de novembro de 2026, um commit chegou ao código do seletor de modelos de um agente de programação de código aberto. Entre as strings que ele adicionou estava deepseek/deepseek-v4.1-pro. Em menos de um dia, o id passou de um diff de código para um quote-tweet que dizia "DeepSeek-v4.1-pro pode estar chegando em breve", e daí para a timeline do rastreador que respondeu que uma nova baleia não era algo para se esperar tão cedo, "talvez leve até fev (espero que não)". O id é real e o commit é público, então o avistamento é verificável — mas a coisa para a qual ele aponta não é. A string aparece exatamente duas vezes em todo o repositório, ambas dentro de um único teste unitário, como uma linha de fixture em uma tabela de entradas de modelos inventados. O DeepSeek V4.1 Pro não foi lançado. A própria documentação da DeepSeek ainda vende exatamente dois modelos de chat: DeepSeek V4.1 Flash, agora no checkpoint 1017, e DeepSeek V4 Pro, ainda no build 0813.

Este é um texto sobre o que sabemos até agora a respeito de um modelo não lançado, por isso nada abaixo deve ser interpretado como um lançamento, uma data, uma ficha técnica ou um preço. O que se segue é o documento que deu origem a isto, o mecanismo dentro desse documento que explica por que um ID D​eepSeek de nível Pro tinha de estar lá, e as verificações que distinguem um fixture de uma listagem — cada uma das quais qualquer pessoa pode repetir num navegador.

O que o commit realmente adicionou, linha por linha

A mudança é pequena e seu propósito é trivial: ela faz com que os quatro modelos cobertos por um plano pago fiquem no topo do seletor de modelos, em vez de em algum lugar abaixo dele, e impede que esses mesmos modelos ocupem um segundo espaço por meio da lógica de destaque por família do seletor. Dois arquivos de origem mudam. Um introduz a lista de quatro ids; o outro reescreve a função de projeção e adiciona um teste.

O teste chama-se “o seletor lista primeiro os modelos Token Pass, sem um segundo slot para as suas famílias”. Ele cria oito linhas fictícias de catálogo e verifica a ordem que o seletor deve produzir. Quatro das oito são os IDs que o plano paga. A fixture do D​eepSeek está escrita como deepseek/deepseek-v4.1-pro com released = 260 e has_tool_use = true, ao lado de deepseek/deepseek-v4.1-flash com released = 255. Esses números não são datas, timestamps nem nada que um catálogo retornaria; são chaves de ordenação ordinais que as fixtures usam para que as asserções não dependam de um feed ao vivo. Cada linha dessa tabela — incluindo as entradas Claude, G​PT e K​imi — é escrita à mão para o teste.

E a própria asserção é a parte que importa. A ordem esperada coloca o id DeepSeek Pro em sétimo de oito, atrás do modelo Flash que o plano pago lista, atrás de dois modelos Z.ai e atrás tanto de um Claude quanto de um id OpenAI. Em uma projeção real de catálogo, um id Pro com uma chave de recência maior que a do id Flash normalmente venceria o único slot de destaque da família. O teste existe para provar que não vence, porque o modelo do plano pago já ocupa esse slot. Uma fixture escrita para perder é uma coisa estranha de se ler como um anúncio.

Por que um ID Pro precisava estar no fixture, afinal de contas?

Esta é a única parte da história que é mecanismo em vez de especulação, e é também a parte que faz o avistamento parecer mais significativo do que realmente é.

A lista de destaques do seletor atribui à família D​eepSeek uma contagem de um: um modelo D​eepSeek é promovido para a seção curada. Um modelo coberto pelo plano pago é colocado no topo primeiro. Se esse modelo do topo pertencer à família D​eepSeek, a vaga da família conta como preenchida, e o loop de destaques é ignorado para ela. Esse é todo o comportamento em teste, e ele é implementado como uma subtração: a contagem de vagas menos o número de modelos já selecionados para essa família.

Para demonstrar que a subtração faz alguma coisa, o fixture precisa de um segundo id do DeepSeek que, de outra forma, teria sido escolhido — e ele precisa ser o candidato mais forte possível, ou o teste não prova nada. O comparador de famílias do seletor prefere o modelo mais novo pela chave de recência e, com recência igual, aplica uma classificação específica do DeepSeek na qual um sufixo -pro é ordenado à frente de uma variante thinking, que é ordenada à frente de todo o resto, com -flash por último. Um fixture -pro com uma chave de recência maior que a do modelo Flash é, portanto, exatamente a linha que roubaria a vaga se a nova subtração fosse removida. O teste é escrito de modo que o fixture tenha de ser um id Pro e tenha de ser mais novo que o Flash.

Isso te dá um id de D​eepSeek Pro no diff sem que ninguém saiba de nada. Por si só, isso não explica a versão. O nível Pro ativo do DeepSeek é o DeepSeek V4 Pro, e o fixture óbvio teria sido o id de um modelo que existe. Quem escreveu a linha recorreu a v4.1-pro em vez disso — o que é ou um palpite natural para o próximo nome da linha, ou uma cópia de uma string real de outro lugar. O arquivo não oferece meio de saber qual, e essa ambiguidade é todo o conteúdo do vazamento. Tudo o que foi publicado depois de 11 de novembro decorre disso.

As quatro verificações que separam um fixture de uma listagem

Se a D​eepSeek tivesse realmente preparado um plano Pro, o ID apareceria em algum lugar que um cliente pudesse acessar, não apenas em uma tabela de teste. Cada um dos itens a seguir foi verificado em 13 de novembro de 2026, e cada um consiste no carregamento de uma única página.

• O changelog da D​eepSeek — a entrada mais recente é 17 de outubro de 2026, a atualização Flash 1017 e a abertura da API de pesquisa. Nunca houve uma entrada V4.1 Pro. Toda versão V4 lançada pela D​eepSeek foi anunciada primeiro nesta página.

• D​eepSeek — lista de modelos e tabela de preços: dois nomes de modelo, deepseek-flash e deepseek-v4-pro, com as strings de versão DeepSeek-V4.1-Flash-1017 e DeepSeek-V4-Pro-0813 associadas. Sem terceira linha, sem linha V4.1 de nível Pro, sem placeholder.

• A organização deepseek-ai no Hugging Face — o repositório mais recente é DeepSeek-V4.1-Flash-1017, criado em 17 de outubro, última modificação em 10 de novembro com um commit de chat-template. Não há repositório V4.1 Pro, nenhum com acesso restrito, nada que se aproxime de privado.

• O nosso próprio catálogo — 215 IDs de modelos, onze deles D​eepSeek, e nenhum corresponde a qualquer grafia de v4.1-pro. As entradas D​eepSeek vão no máximo até DeepSeek V4.1 Flash em 1017 e DeepSeek V4 Pro em 0813.

Catálogos de gateway que espelham a API da D​eepSeek, incluindo o que o agente em questão lê em tempo de execução, listam quatorze ids da D​eepSeek e nenhum deles é o V4.1 Pro. Esse é o contraste mais marcante e isolado desta história: o mesmo projeto inclui um seletor que busca um catálogo em tempo real, e a string está ausente do catálogo embora esteja presente no teste que é executado contra um catálogo simulado.

O nome não é novo, e seu rastro documental é uma única frase.

O DeepSeek V4.1 Pro entrou em circulação em 10 de setembro de 2026, na nota de versão que acompanhou o DeepSeek V4.1 Flash. A nota anunciou uma mistura de especialistas de 552 bilhões de parâmetros em uma nova arquitetura Causal Encoder-Decoder — 8 bilhões de parâmetros ativos na entrada, 16 bilhões na saída, compreensão nativa de imagens, um cache KV com um quarto do tamanho do da geração anterior — e, em seguida, na mesma lista com marcadores, informou que, a partir das 04:00 UTC de 14 de setembro, todas as solicitações deepseek-v4-pro seriam encaminhadas para o V4.1 Flash com os preços do Flash, e que isso continuaria "até o lançamento do V4.1-Pro".

O redirecionamento não sobreviveu ao contato com os desenvolvedores, e a DeepSeek restaurou o DeepSeek V4 Pro com cobrança inalterada. O parêntese sobreviveu. Nas nove semanas desde então, ele tem sido a única evidência documental de que um nível Pro da linha V4.1 está sequer planejado: nenhum card, nenhum checkpoint, nenhum preço, nenhuma data e — a partir desta semana — nenhuma segunda menção em lugar algum do próprio material da DeepSeek.

O que a nota de setembro de fato estabelece é o formato ao qual um V4.1 Pro teria de se ajustar. A DeepSeek descreveu o Flash como o menor modelo de uma nova família de arquiteturas, construído para poder ser escalado, e afirmou que ele superou o V4 Pro em capacidade, custo, velocidade e tempo total de execução. Uma camada Pro nessa família é o próximo passo natural e algo razoável de se esperar. Expectativa não é evidência, e a fixture não é um cronograma.

O que pode ser chamado hoje, e a comparação que um V4.1 Pro teria de vencer

Dois modelos DeepSeek atendem solicitações, e estão mais distantes do que a nomenclatura sugere. O DeepSeek V4.1 Flash, no checkpoint 1017, é um modelo multimodal de contexto de 1M com entrada de visão, saída máxima de 384K, pensamento ativado por padrão com três níveis de esforço e licença MIT nos pesos. Fora do horário de pico, custa US$ 0,15 por milhão de tokens de entrada em caso de falha de cache, US$ 0,003 em caso de acerto de cache, e US$ 0,60 por milhão de saída; os horários de pico — 01:00–04:00 e 06:00–10:00 UTC em dias úteis — custam o dobro. O DeepSeek V4 Pro, na build 0813, é o carro-chefe de 1,6 trilhão de parâmetros da geração anterior: apenas texto, sem visão, o mesmo contexto de 1M, e US$ 0,66 de entrada / US$ 1,98 de saída fora de pico, ou cerca de quatro vezes e meia o preço do Flash por um modelo que os próprios benchmarks da DeepSeek colocam atrás dele.

No harness independente, a diferença também não é pequena. O Artificial Analysis atribui ao DeepSeek V4.1 Flash 1017 uma pontuação de 33 no seu Intelligence Index, com 14,8 minutos e US$ 0,60 por tarefa do índice, gerando 174 milhões de tokens para chegar lá — verboso e mais lento que o modelo mediano por tarefa. O mesmo índice coloca o Kimi K3.1 Pro, a principal entrada de pesos abertos, em 46. Esse é o número que um V4.1 Pro seria feito para mover, e é a razão pela qual o nome continua atraindo atenção: a diferença entre o nível barato da DeepSeek e a fronteira dos pesos abertos é de treze pontos de índice, que é exatamente o tipo de diferença que um modelo carro-chefe deveria fechar.

Se você quiser descobrir se o checkpoint 1017 fecha alguma dessas lacunas na sua própria carga de trabalho, a questão prática não é em qual nível do DeepSeek padronizar, mas se você pode se dar ao luxo de errar sobre isso. Ambos os modelos ficam atrás de um endpoint único no OrcaRouter ao preço de tabela do provedor, sem sobretaxa, o que significa que as tabelas de preços Flash e Pro acima são os mesmos números que você paga, e a janela fora de pico é a mesma janela. Isso importa mais do que o normal aqui: os dois modelos diferem em 4,5x no preço de saída e em uma quantidade desconhecida na qualidade para sua tarefa específica, então a maneira barata de resolver isso é direcionar uma parte do tráfego real para um e uma parte para o outro, e deixar o failover automático absorver o experimento se o modelo que você testou se revelar a escolha errada.

As onze horas que transformaram uma certeza em um rumor

A linha do tempo é curta o bastante para ser declarada com exatidão, e é a melhor evidência de que ninguém envolvido tinha novas informações.

• 11 de novembro, 18:50 UTC — o commit adiciona o teste do seletor. O id está no diff e o diff é público.

• 12 de novembro, 13:35 UTC — um autor de postagem percebe o diff, linka diretamente para a linha no arquivo de origem e escreve que o D​eepSeek V4.1 Pro "pode estar chegando em breve", acrescentando a alternativa de que pode ser apenas outra atualização de checkpoint do Flash. A postagem é honesta quanto à incerteza e lê o arquivo corretamente como evidência de intenção.

• 12 de novembro, 23:08 UTC — a conta de rastreamento mais conhecida pela cobertura do D​eepSeek responde com a interpretação de que o arquivo não sustenta: o teste apenas verifica que um modelo de plano pago no topo preenche a vaga de sua família, então precisa de mais de um id do D​eepSeek. A resposta acrescenta que a API do D​eepSeek não tem nada de novo, que um novo carro-chefe não é algo a se esperar tão cedo e que fevereiro é a estimativa pessimista.

Nada nessa sequência é uma declaração de fornecedor, e nenhuma das partes envolvidas alega ter uma. A análise do mecanismo feita pelo segundo autor da postagem está correta no que diz respeito à fonte — a subtração de slots é exatamente para isso que o teste serve — e a conclusão tirada é a conservadora: a fixture é uma fixture.

O que faria isso passar de um fixture para um fato?

Quatro coisas resolveriam, e só uma delas é um boato. Uma entrada no changelog da documentação da API da D​eepSeek nomeando um nível Pro, já que é lá que todo lançamento V4 foi anunciado e sua entrada mais recente ainda é de 17 de outubro. Um repositório na organização deepseek-ai com V4.1 Pro no nome, já que tanto V4 quanto V4.1 foram lançados como pesos abertos sob MIT dentro de um dia do lançamento da API. Uma terceira linha na tabela de preços — a D​eepSeek nunca vendeu um modelo que não listasse ali. Ou um id que resolve na API, que é a verificação que teria resolvido isso em uma única requisição e, em vez disso, resolve no sentido oposto.

Até que um desses se concretize, o resumo honesto é mais restrito do que as postagens sugerem e mais útil do que uma data. Um engenheiro em atividade digitou {{1}}deepseek-v4.1-pro{{/1}} em uma tabela de teste em 11 de novembro, muito provavelmente porque é o próximo nome óbvio em uma sequência que o autor já estava tratando, e possivelmente porque tinha sido visto em algum lugar. A string vale a pena ser conhecida exatamente por esse motivo — é um sinal pequeno, fraco e real de que pessoas próximas das ferramentas esperam esse nome — e não vale nada como cronograma. O fevereiro do rastreador é um palpite, o "em breve" do tweet de citação é um palpite, e a única coisa que qualquer um dos dois tem que um leitor não tem é o mesmo commit público.