Data de lançamento do DeepSeek V4 Pro: Build 0813 está oficialmente no ar, e o preço vai subir

Na noite de 12 a 13 de agosto de 2026, no horário de Pequim, a pergunta em torno da qual esta página foi construída deixou de ser uma pergunta: DeepSeek V4 Pro foi lançado. A DeepSeek atualizou o endpoint da API deepseek-v4-pro da prévia que servia desde 24 de abril para a versão oficial — 0813 — 111 dias depois, e a Artificial Analysis voltou a listar o modelo da mesma forma, datando-o em 13 de agosto de 2026 em seu próprio FAQ. A versão oficial mantém a arquitetura da prévia (uma mistura de especialistas com 1,6 trilhão de parâmetros e 49 bilhões de parâmetros ativos) e mantém seu preço (US$ 0,435 de entrada / US$ 0,87 de saída por milhão de tokens), mas é um agente materialmente melhor — e fica a uma distância de um dígito no índice da Moonshot: Kimi K3, o rival de pesos abertos contra o qual esta página vem comparando o modelo desde abril.

Há uma semana, o trabalho desta página era testar a previsão em circulação de que o V4 Pro chegaria "no nível do Kimi K3, mas 10x mais barato." O lançamento finalmente nos permite avaliá-la, e a nota fica mais próxima do que os números da prévia sugeriam: no Índice de Inteligência independente da Artificial Analysis, a versão 0813 marca 53, enquanto a prévia estava em 44 — um salto que deixa a metade do preço da previsão exatamente onde estava e aproxima bastante sua metade de inteligência da paridade. Abaixo está o que a versão oficial realmente é, o que o lançamento faz com os números e por que o momento que você esperava também é o momento em que o fornecedor avisou que você deve esperar um aumento de preço.

O que a build oficial realmente é

A DeepSeek enquadra a 0813 como uma atualização pós-treinamento sobre a mesma arquitetura, não um novo pré-treinamento — o tipo de lançamento que altera o comportamento do modelo muito mais do que o número da versão sugere. A contagem de parâmetros, a janela de contexto de 1 milhão de tokens e o teto de saída de 384.000 tokens permanecem inalterados em relação à prévia. O que mudou é tudo entre os pesos e sua chamada de API.

As duas mudanças mais importantes são ambas inéditas para a linha do modelo. Raciocínio nativo de imagem: a prévia era somente texto, e a versão 0813 agora pode analisar imagens, capturas de tela e documentos mistos dentro do seu mecanismo de pensamento — a capacidade que marcou o DeepSeek V4 Pro como especialista em codificação frente a modelos de agente de fronteira fechada. E uma superfície de API reconstruída voltada para agentes: suporte oficial à API Responses, integração a fluxos de trabalho estilo Codex, endpoints em formato Anthropic, saída JSON estruturada e chamadas de ferramentas, além de dois recursos beta destinados a desenvolvedores de agentes — continuação de prefixo de conversa e conclusão fill-in-the-middle (FIM).

Um número operacional que vale a pena conhecer antes de você construir: a API oficial limita o DeepSeek V4 Pro a 500 requisições concorrentes, um quinto do limite de 2.500 do DeepSeek V4 Flash. Para uma interface de chat, isso não é nada; para uma frota de agentes que dispara centenas de chamadas paralelas, é um teto real — e é a razão pela qual as equipes que desenvolvem com esse modelo geralmente o roteiam junto a um segundo provedor em vez de apostar um caminho de produção em uma única conexão.

Aqui está a entrada do changelog que tornou esta página necessária em primeiro lugar — a nota de 31 de julho de 2026 que anunciou a build oficial do V4 Flash e terminou com a frase "O lançamento oficial do DeepSeek-V4-Pro seguirá em breve." E foi o que aconteceu, em 13 de agosto — silenciosamente. Não houve anúncio formal em inglês nem resultados de avaliação em inglês da D​eepSeek até o momento em que escrevo; o lançamento é estabelecido pelo próprio comportamento da API, pela página de preços e por rastreadores independentes, com a Artificial Analysis re-listando o modelo como a build oficial no mesmo dia.

O salto do benchmark e o que ele faz à previsão

D​eepSeek publicou os deltas de preview para GA junto com o lançamento. São números reportados pelo fornecedor, não reproduzidos por laboratórios independentes até o momento, e devem ser lidos como a própria afirmação da D​eepSeek sobre seu próprio modelo — mas o tamanho dos deltas é a história independentemente disso. Os benchmarks de agentes e uso de ferramentas aproximadamente dobraram:

• DeepSWE (agente de engenharia de software): 12.8 na prévia → 62.7 em 0813, que, segundo a D​eepSeek, supera o 58.0 do Claude Opus 4.8.

• Cybergym (agente de segurança de IA): 52,7 → 83,3, ligeiramente acima dos 83,1 do Claude Fable 5.

• AutomationBench: 12,8 → 31,8, à frente dos 29,1 de Claude Fable 5.

• Terminal-Bench 2.1: 72,1 → 87,9, a um ponto do 88,0 do Claude Fable 5.

• NL2Repo: 38.5 → 61.5; Toolathlon: 55.9 → 74.1; DSBench-Hard: 31.1 → 67.2; DSBench-FullStack: 41.8 → 71.1; HLE: 37.7 → 42.7 (60.0 com ferramentas).

Um salto com esse formato — os benchmarks de agentes dobrando enquanto a arquitetura permanece parada — é a impressão digital de um pesado esforço de pós-treinamento, e é exatamente o formato que a versão anterior deste artigo previu. Os checkpoints independentes concordam. A Artificial Analysis reavaliou o DeepSeek V4 Pro em 53 no seu Intelligence Index, classificado em #2 entre os 104 modelos que lista atualmente — acima dos 44 da prévia (posição #6 de 101). No mesmo snapshot atual, o Kimi K3 (max) da Moonshot pontua 60, então a lacuna de inteligência que estava em 13 pontos na era da prévia diminuiu para sete.

This is the moment to credit the arithmetic, because it landed almost exactly. The previous version of this article extrapolated from Flash's official build — which gained 10 index points from post-training alone — and predicted the Pro GA would land at 54. The actual re-score is 53. That is the single most important number in this update: the intelligence half of the forecast was wrong by one point, and wrong in the direction of "slightly optimistic."

Uma ressalva acompanha esse número. Os resultados do benchmark 0813 vieram a público primeiro não em uma publicação oficial em inglês, mas em um grupo de WeChat, de onde se espalharam para o Reddit e o Hacker News — e o vazamento e a medição independente não concordam nem em direção. No cômputo de um analista, os números vazados ficam cerca de 2,7% abaixo da medição do Artificial Analysis no V4 Flash e cerca de 9% abaixo no V4 Pro. Isso é uma discordância tanto em sinal quanto em magnitude, e é o motivo para continuar registrando os deltas de duplicação como reportados pelo fornecedor e pelo vazamento até que a DeepSeek publique suas próprias avaliações em inglês e um laboratório independente as reproduza.

O gráfico acima é da versão original desta página — a projeção que ele traçou (Kimi K3 em 57, "GA se repetir o +10 do Flash" em 54, a prévia em 44). O resultado medido fica um ponto abaixo da projeção: o snapshot atual do Artificial Analysis indica Kimi K3 em 60 e DeepSeek V4 Pro 0813 em 53. O formato da previsão se manteve; a diferença residual é menor do que a prévia sugeria, mas ainda está presente.

Para referência, aqui está o instantâneo do laboratório independente da era da prévia — a página que esta página citou em sua versão anterior. A Artificial Analysis mediu o DeepSeek V4 Pro (Reasoning, Max Effort) em 44, posição #6 de 101, gastou US$ 176,34 para avaliá-lo e registrou sua verbosidade em 180 milhões de tokens de saída contra uma mediana de classe de 100 milhões. Essa captura de tela agora é histórica: a mesma página atualizou a listagem do modelo para 53 depois que o build 0813 foi lançado. Ela também é a ilustração mais clara de por que comparações no mesmo instantâneo importam — o 44 e o 53 são medições de duas versões diferentes.

Quanto custa — confirmado, e as letras miúdas

O lançamento oficial não alterou a tabela de preços. O DeepSeek V4 Pro permanece em $0,435 por milhão de tokens de entrada em cache miss, $0,003625 em cache hit (um desconto de 99%) e $0,87 por milhão de tokens de saída — cerca de três vezes o preço do DeepSeek V4 Flash, e ainda aproximadamente um sétimo do que a Kimi K3 cobra para entrada e um décimo sétimo para saída. A taxa de cache hit é efetivamente gratuita, o que mantém cargas de trabalho de contexto longo com prefixos repetidos (prompts de sistema, bancos de few-shot, bases de código) dramaticamente mais baratas do que em qualquer esquema de fronteira fechada.

O que o lançamento faz com a história de preços é tornar concreto o aviso do fornecedor. Em 6 de agosto, a DeepSeek anunciou que "pretende aumentar o preço geral dos serviços de API da DeepSeek em um futuro próximo, com um aumento significativo esperado", sem novas tarifas e sem data de entrada em vigor. Esse aviso constava na versão anterior desta página como um risco para a tese do modelo barato; agora ele aparece ao lado de um lançamento confirmado, que é o momento natural para o aumento se concretizar. Além disso, há a sobretaxa de horário de pico anunciada, mas ainda inativa — preços 2x para todos os itens de cobrança entre 09:00–12:00 e 14:00–18:00, horário de Pequim, diariamente. Nenhuma delas tem data de entrada em vigor.

A leitura prática não mudou, mas o relógio agora está visível. A tarifa de $0,435/$0,87 é o preço publicado pela empresa e é o que acompanha a versão oficial; é também, segundo a própria declaração escrita do fornecedor, um preço em transição. Qualquer pessoa que esteja montando um modelo de custos sobre o DeepSeek V4 Pro hoje deve modelar a tarifa atual e o aumento anunciado, e deve saber que a janela barata está aberta agora — e que o fornecedor disse a todos que ela fecha.

Como o OrcaRouter repassa os preços de lista dos provedores diretamente com margem de 0%, os valores $0,435/$0,87 na página do nosso modelo deepseek/deepseek-v4-pro são o número da própria D​eepSeek, não uma taxa revendida — o que significa que, no momento em que o aumento anunciado chega ao lado da D​eepSeek, ele chega aqui no mesmo dia, sem margem de intermediário e sem ciclo contratual de espera. Para equipes que desejam garantir a economia atual enquanto ela durar — e para contornar o limite de 500 concorrências com failover automático para um segundo provedor — o modelo está a uma chamada de API de distância.

A troca silenciosa sobre a qual você foi avisado — aconteceu

A versão anterior desta página sinalizou um perigo operacional que importa mais que a data: o ID do modelo da API é a string simples deepseek-v4-pro, sem sufixo de pré-visualização e sem string de build datada, mesmo que o changelog da própria empresa tenha se referido ao build Flash distribuído como V4-Flash-0731. O aviso era que fixar o ID do modelo não fixaria o build, e que a mesma string um dia começaria silenciosamente a servir pesos diferentes.

Aquele dia foi 13 de agosto. A string deepseek-v4-pro que servia a prévia desde abril agora serve a build oficial, sem necessidade de alteração de código para adotá-la — exatamente o padrão Flash que o changelog descreveu ("basta definir o nome do modelo como deepseek-v4-flash para usar a versão mais recente"), repetido para o Pro. Se você desenvolveu com base na prévia, agora está chamando a build oficial, intencionalmente ou não, e qualquer avaliação executada antes de 13 de agosto é uma medição de um modelo diferente.

A orientação prática da versão anterior, portanto, permanece, um passo adiante: mantenha um conjunto de regressão que você possa reexecutar sob demanda; mantenha um segundo modelo acessível sem alteração de código; e reexecute suas avaliações agora, não porque o build é ruim, mas porque é novo. Essa é a razão prosaica pela qual o failover existe — DeepSeek V4 Pro, DeepSeek V4 Flash e Kimi K3 estão todos atrás de uma única chave da OrcaRouter em um endpoint compatível com OpenAI, então "reexecutar a avaliação nos três e depois mudar o tráfego" é uma edição de configuração em vez de um processo de aquisição, e um build GA ruim é uma decisão de roteamento em vez de um incidente.

Você deveria construir sobre isso agora?

O lançamento responde à pergunta que esta página foi originalmente escrita para adiar. A build oficial é a versão a ser avaliada — as pontuações do agente na prévia eram um piso, e os números de 0813 são os reais. O resumo honesto da decisão: o DeepSeek V4 Pro é o modelo agente barato mais forte com pesos que você pode baixar, ele não é mais "tão inteligente quanto" o Kimi K3 por uma margem enorme — sete pontos de índice no esforço máximo, com a própria curva de pós-treinamento do fornecedor sugerindo que a lacuna ainda está diminuindo — e o fornecedor informou que o preço vai subir.

Se o seu trabalho está na fronteira do raciocínio difícil, os sete pontos para o Kimi K3 ainda compram algo na margem, e o preço é uma distração disso. Se o seu trabalho é de alto volume e meramente difícil, pagar cerca de 14x pelo Kimi K3 é difícil de justificar quando a versão 0813 pontua tão próximo. E se você estava esperando o lançamento oficial antes de construir, essa espera acabou — o lançamento que você esperava foi disponibilizado, com preço definido, pesos abertos e licença MIT, em 13 de agosto de 2026.

Perguntas que as pessoas estão realmente fazendo

O DeepSeek V4 Pro foi lançado? Sim. A build oficial (0813) entrou no ar na API da D​eepSeek em 13 de agosto de 2026, substituindo a prévia que estava no ar desde 24 de abril. A string do modelo, deepseek-v4-pro, permanece inalterada — a build por trás dela não. A D​eepSeek ainda não publicou um anúncio em inglês nem suas próprias avaliações (evals) em inglês, então o lançamento é estabelecido pelo comportamento da API, pela página de preços e pela relistagem independente, em vez de uma declaração da empresa.

Já está tão bom quanto o Kimi K3 agora? Muito mais próximo, mas ainda não é igual. No instantâneo atual do Índice de Inteligência da Artificial Analysis, o DeepSeek V4 Pro 0813 marca 53 contra 60 do Kimi K3 (máximo) — uma queda em relação à diferença de 13 pontos que separava a versão preview do Kimi K3 no início de agosto.

O preço mudou no lançamento oficial? Não. O preço de tabela permanece inalterado em $0.435 de entrada / $0.87 de saída por milhão de tokens, com acertos de cache a $0.003625. A mudança está no horizonte, não na tabela: D​eepSeek afirmou que planeja um aumento "significativo" no preço geral da API, sem valores ou data ainda.

O preço atual é seguro para servir de base a um modelo de custo? Condicionalmente, e com um relógio visível. É o preço publicado pela empresa para a versão oficial, mas o fornecedor anunciou que um aumento está por vir, e uma sobretaxa de horário de pico inativa dobraria os preços diurnos. Modele ambos os casos; mesmo dobrado, o DeepSeek V4 Pro continua várias vezes mais barato que o Kimi K3.

A leitura honesta

A previsão que deu início a esta página acertou pela metade, e a metade que acertou é a metade em que as pessoas terão mais dificuldade de acreditar. "10x mais barato" fica aquém da realidade: na mesma carga de avaliação medida, o DeepSeek V4 Pro custou US$ 176,34 contra US$ 2.437,41 do Kimi K3 — 13,8x — e o lançamento oficial não mexeu nessa conta. "Nível Kimi K3" é a parte que ficou ao alcance, mas não se concretizou: a build 0813 pontua 53 contra 60 do Kimi K3 no único compósito que um laboratório independente roda em ambos, onde a prévia estava 13 pontos atrás. A versão anterior desta página previu 54. Ela ficou em 53.

O que mudaria essa leitura é algo específico. Se o aumento de preço anunciado se concretizar com taxas que reduzam a vantagem pela metade, a tese do modelo barato deixa de ser barata nos horários em que a maioria das equipes trabalha. Se um laboratório terceirizado reproduzir o DeepSWE 62.7 e o Cybergym 83.3, o salto pós-treinamento do fornecedor é confirmado em vez de apenas afirmado — e o conjunto de avaliação vazado via WeChat, que não corresponde ao Artificial Analysis nem mesmo direcionalmente, é um motivo para insistir nessa reprodução em vez de aceitar os deltas como verdade. E se os pesos 0813 forem enviados para o Hugging Face com os recursos de imagem e agente intactos, o DeepSeek V4 Pro se torna o modelo de agente auto-hospedável mais forte que existe — a coisa que transforma "API de ponta barata" em "infraestrutura de ponta barata". Por enquanto, o resumo preciso do DeepSeek V4 Pro é que ele foi lançado, é o modelo de raciocínio sério com o melhor custo-benefício e pesos que você pode baixar, está mais perto da vanguarda do que estava há uma semana, e seu fornecedor informou que o preço vai subir.