Data de lançamento do Grok 4.7: Dados da SpaceX, um cronograma atrasado e o que a xAI realmente disse

O Grok 4.7 ganhou uma nova — e mais tardia — janela de lançamento ontem, e a razão do adiamento é a história de dados de treinamento mais incomum na IA de fronteira. Em 13 de agosto de 2026, a lista de modelos da x​AI em docs.x.ai ainda tem como modelo mais avançado o grok-4.6 — ou seja, o Grok mais recente que você pode realmente chamar é o Grok 4.6, o carro-chefe que a x​AI lançou em 12 de agosto. Não há ID de modelo grok-4.7, nem preços, nem janela de contexto, nem cartão de benchmark. Mas no mesmo dia, em sua conta no X, Elon Musk confirmou que o modelo é real e está mais avançado do que qualquer coisa que a x​AI já disse sobre um modelo antes de seu lançamento: o treinamento inicial está completo, e a empresa agora está alimentando uma "quantidade massiva" de dados de engenharia da SpaceX em uma rodada de treinamento suplementar. Ele previu o lançamento em "3 a 4 semanas", o que aponta para o início de setembro — e isso já é um atraso em relação à janela que ele sugeriu no final de julho.

A resposta em uma linha, se foi só para isso que você veio: o Grok 4.7 não foi lançado, e o mais próximo de uma data oficial é o "3 a 4 semanas" de Musk, em 12 de agosto, o que o coloca em torno de 2 a 9 de setembro. A janela que ele deu em 25 de julho apontava para aproximadamente 22 de agosto; essa data já passou. Este artigo separa o que está de fato confirmado sobre o Grok 4.7 do que é afirmação de Musk ou relato da comunidade, percorre o ângulo dos dados da SpaceX que torna este lançamento diferente e termina com como saber em primeira mão quando o modelo for real.

O que realmente se sabe sobre o Grok 4.7 (é uma seção curta)

O registro confirmado sobre o Grok 4.7 cabe em três linhas, porque as próprias páginas da x​AI ainda não dizem nada sobre ele. Primeiro, a lista de modelos em docs.x.ai termina em grok-4.6 — sem entrada para grok-4.7, sem cartão de preço, sem janela de contexto, sem nota de versão. Isso foi verificado novamente em 13 de agosto. Segundo, Musk declarou em 12 de agosto que "o treinamento inicial está completo e agora estamos adicionando uma quantidade massiva de dados da empresa SpaceX no treinamento suplementar." Esse é o fato individual mais forte sobre o modelo: ele existe e está em sua fase final de treinamento, em vez do estágio de rumor. Terceiro, ele definiu expectativas sobre o que o corpus deve proporcionar — "o corpus de treinamento da SpaceX é tão incrível e único" — e disse que ficaria "chocado se algum modelo for melhor em engenharia do mundo real do que o 4.7."

Tudo o mais com número é uma afirmação com fonte, e a fonte importa porque o objetivo de um artigo sobre data de lançamento não é lavar o comentário de um fundador e transformá-lo em uma especificação.

Tudo com número é uma afirmação — rotulada como tal

Aqui está o que está circulando sobre o Grok 4.7 e o rótulo honesto para cada item.

• Um design de aproximadamente 2,1 trilhões de parâmetros — noticiado por vários veículos e atribuído às próprias declarações de Musk, mas que nunca constou em nenhuma ficha de especificações da xAI. Trate-o como uma alegação, não como uma especificação confirmada. Para efeito de comparação, o atual carro-chefe Grok 4.6 é o modelo de 1,5 trilhão de parâmetros.

"Melhor que o 4.6 em todos os aspectos, exceto por ser um pouco mais lento para servir, ainda que com eficiência de tokens ainda melhor" — a descrição de Musk do final de julho. É o seu posicionamento, e não há nada contra o qual verificar de forma independente: o modelo ainda não está rodando em lugar nenhum.

• "Grok 4.7 superará todos os modelos atuais" — Musk, 12 de agosto. Uma declaração de produto, não um benchmark. Não existe nenhuma pontuação independente para um modelo que ainda não foi lançado.

Supremacia da "engenharia do mundo real" — o enquadramento de Musk, inteiramente ligado ao corpus da SpaceX. "Engenharia do mundo real" não é definida no post, e nenhuma avaliação de engenharia reexecutável foi publicada, portanto a alegação não pode atualmente ser testada nem em princípio.

• O que o corpus da SpaceX contém — relatado em detalhes por veículos de tecnologia: telemetria de satélites Starlink, dados de desenvolvimento e teste de foguetes, como registros de pressão da câmara de combustão do Raptor e telemetria de reentrada da Starship, além de artefatos internos de engenharia, como threads do Slack, tickets do Jira, repositórios do GitHub e registros de ERP. Isso é uma apuração da comunidade sobre o que Musk disse, não uma divulgação da xAI, e espera-se que especificações de hardware restritas pela ITAR sejam excluídas.

Os dados da SpaceX são a história — e a questão em aberto.

Qualquer que seja a data de lançamento, o corpus de treinamento da SpaceX é a parte que muda a conversa. O precedente mais próximo é a geração anterior: o Grok 4.5 foi complementado com rastros do Cursor IDE, um corpus de uso de código, em uma rodada de treinamento tardia. O Grok 4.7 vai mais longe nesse mesmo sentido — telemetria de foguetes, registros de fabricação, CAD e registros de falhas não são código. Se as alegações se confirmarem, a xAI estaria dando a um modelo de fronteira algo que nenhum rival tem: algumas décadas de operações reais de engenharia, incluindo as falhas, e uma intuição para restrições físicas e de fabricação que corpora apenas de texto nunca contêm.

Esse é o cenário otimista, e também é o limite honesto do que sabemos. Nenhum dos detalhes foi divulgado — sem contagens de tokens, sem composição do corpus, sem filtragem de licença ou de controle de exportação, sem avaliação de engenharia. "Tão incrível e único" é uma afirmação, e afirmações precisam de um laboratório. O teste virá quando o modelo for lançado e avaliadores independentes puderem testá-lo em tarefas reais de engenharia; até lá, a história da SpaceX é a coisa não verificável mais interessante na IA de fronteira, e a disciplina é chamá-la exatamente assim.

A linha do tempo, e o padrão que você deve notar.

Grok 4.7 teve duas janelas oficiais aproximadas, e a segunda é mais tardia que a primeira. Em 25 de julho, Musk disse que o modelo estava a cerca de quatro semanas de distância, o que implicava um lançamento em torno de 22 de agosto. Em 12 de agosto, ele revisou isso para "3 a 4 semanas", o que implica de 2 a 9 de setembro. Isso é um atraso de duas a três semanas, e a janela de 22 de agosto não existe mais.

O padrão é a parte que vale a pena internalizar, porque os prazos anunciados verbalmente pela x​AI têm um histórico mensurável. O enquadramento de Musk em julho apontava para o Grok 4.6 por volta de 7 de agosto; o Grok 4.6 foi de fato lançado em 12 de agosto. Uma janela de lançamento da x​AI é uma declaração de intenção, não um compromisso — a leitura honesta de "3 a 4 semanas" é "o Grok 4.7 é real e ainda está por vir", com uma forte probabilidade prévia de que a data se desloque para o lado mais tardio.

Onde o Grok 4.7 se posiciona em relação ao Grok 4.6

Para raciocinar sobre o que o Grok 4.7 precisa superar, ancore-se no modelo que a xAI realmente lançou. O Grok 4.6 foi lançado em 12 de agosto: US$ 2 por milhão de tokens de entrada e US$ 6 por milhão de tokens de saída abaixo de 200 mil de entrada (dobrando para US$ 4/US$ 12 acima disso), uma janela de contexto de 500.000 tokens, um corte de conhecimento em 1º de fevereiro de 2026 e um Artificial Analysis Intelligence Index de 61. O Grok 4.5, lançado em julho, fica abaixo dele, com 56.

• Parâmetros — ~2,1T (relatado, não confirmado) para Grok 4.7 versus 1,5T para Grok 4.6.

• Status — em treinamento suplementar versus lançado em 12 de agosto de 2026.

• Preço por 1M tokens — nenhum publicado versus $2 de entrada / $6 de saída.

• Janela de contexto — nenhuma publicada versus 500 mil tokens.

• Velocidade de inferência — Musk diz que é ligeiramente mais lenta que o Grok 4.6 em comparação com o teto atual.

• Eficiência de tokens — Musk diz que é melhor que o Grok 4.6 em relação à linha de base atual.

• Pontuação independente — nenhuma versus um Índice de Inteligência AA de 61.

E o campo em que o Grok 4.7 está mirando, no mesmo placar: Claude Fable 5 com 62, Claude Opus 5 com 63 e Kimi K3 com 60 — com o GPT-5.6 Sol empatado com o Grok 4.6 em 61. Musk não enquadrou isso como uma vitória sobre um rival único; na mesma postagem em que afirmou que o Grok 4.7 "superará todos os modelos atuais", ele reconheceu que "a Anthropic é uma ótima empresa e provavelmente lançará modelos aprimorados em breve". A leitura competitiva é que a x​AI vê o Claude Fable 5, o Claude Opus 5 e o Kimi K3 como os modelos que precisa superar.

O que isso significa para as equipes que chamam o Grok hoje

Para desenvolvedores, o teto prático da API é o Grok 4.6 — o modelo que você chama é exatamente esse, não o dos teasers. No catálogo do OrcaRouter, a série Grok atualmente roda Grok 4.6 e Grok 4.5, cobrados pelo preço de tabela do provedor com margem de 0%, então os $2/$6 que você coloca no seu modelo de custo são os $2/$6 na sua fatura. Quando o Grok 4.7 for lançado e um provedor o integrar, vamos listá-lo da mesma forma, pelo preço de tabela — uma chave, sem nova integração, sem segundo contrato — mas esse dia é quando a lista de modelos muda, não hoje.

Essa mesma camada de roteamento é a forma de baixo risco de agir quando o Grok 4.7 finalmente chegar, e a história da SpaceX torna o alerta mais incisivo, e não menos. As pontuações de um modelo totalmente novo são alegações do fornecedor até que laboratórios independentes as reproduzam — os números da primeira semana são precisamente aqueles de que se deve desconfiar — e o failover automático permite direcionar tráfego para ele sem apostar um caminho de produção na palavra do fornecedor. Se uma regressão aparecer em solicitações reais, a próxima solicitação recorre a um provedor que ainda responde. Essa é a diferença entre experimentar um modelo não comprovado e apostar seu pipeline nele.

Como saber primeiro (melhor do que o rádio-corredor)

Tudo o que está acima fica obsoleto no dia em que a xAI aciona um interruptor, então aqui está a verificação que supera todos os rastreadores:

• Acompanhe a lista de modelos, não os tweets. No momento em que o Grok 4.7 se tornar realidade, docs.x.ai/docs/models ganha um ID de modelo grok-4.7 com preço e uma janela de contexto. Foi assim que o Grok 4.6 apareceu — a lista de modelos primeiro, o anúncio depois.

• As notas de versão da xAI e sua conta no X são canais próprios do fornecedor, mas a lista de modelos é o artefato, porque é o que a API realmente serve. Um ID de modelo na página de documentação é um fato; uma menção no X é uma declaração.

• Acompanhe o catálogo de modelos do OrcaRouter. Uma página do modelo grok-4.7 no orcarouter.ai é o sinal de "você pode chamá-lo hoje" — quando um provedor o integrou e nós o estamos listando, ele é roteável por uma única API pelo preço de tabela.

• Para visibilidade no lado do consumidor, o aplicativo Grok ganha o modelo como ponto de entrada. A disponibilidade da API e a disponibilidade do aplicativo podem divergir, então qual sinal você observa depende de se você está desenvolvendo ou apenas curioso.

O estado da situação

Grok 4.7 é um modelo real em sua fase final de treinamento, e não foi lançado, não tem ficha técnica, e tem uma janela verbal que já escorregou uma vez. O corpus de engenharia da SpaceX genuinamente separa este lançamento de qualquer coisa que um rival tenha tentado — ninguém mais está alimentando telemetria de foguetes, registros de fabricação e logs de falhas em um modelo de fronteira — mas "tão incrível e único" é uma afirmação até que laboratórios independentes a reproduzam. Se você veio aqui por uma data de lançamento, a resposta honesta é "início de setembro, segundo Musk", com um forte prior, baseado em como o Grok 4.5 e o Grok 4.6 realmente chegaram, de que o cronograma verbal escorrega antes de pousar. O movimento vencedor para quem está construindo hoje não é esperar — é construir sobre o que está ao vivo a $2/$6 e trocar no momento em que a lista de modelos mudar. Quando o Grok 4.7 chegar, ele deve cair na sua chave, não no seu calendário.