xAI de Elon Musk Lança Grok 4, Declara que é a IA Mais Inteligente Até Agora

A empresa de IA de Elon Musk, xAI, revelou o Grok 4, seu mais recente e poderoso modelo de inteligência artificial (IA) até agora, afirmando que agora lidera o campo em capacidades acadêmicas, de raciocínio e de codificação.

Musk não se conteve, chamando-o de “a IA mais inteligente do mundo” durante uma transmissão ao vivo no X (anteriormente Twitter) na noite de quarta-feira.

Além do Grok 4, a xAI lançou o Grok 4 Heavy, uma variante mais avançada que utiliza múltiplos agentes de IA colaborando como um “grupo de estudo” virtual para resolver tarefas complexas. O lançamento também vem com um novo plano de assinatura de alto nível: SuperGrok Heavy, que oferece acesso a este poderoso modelo por $300 por mês.

Batalhas de Benchmark: Grok vs. os Concorrentes

De acordo com a xAI, tanto o Grok 4 quanto seu contraparte aprimorado, Grok 4 Heavy, superaram grandes rivais como o Gemini 2.5 Pro do Google e o o3-high da OpenAI em uma variedade de benchmarks de desempenho de IA:

• Último Exame da Humanidade (HLE): - Grok 4 marcou 4% sem ferramentas, superando o Gemini 2.5 Pro (21,6%) e o o3-high (21%).

• Grok 4 Heavy, com ferramentas, atingiu 4%, muito à frente dos 26,9% do Gemini.

• ARC-AGI-2 (teste de reconhecimento de padrões): - Grok 4 marcou 2%, quase o dobro do próximo melhor modelo, Claude Opus 4.

• MMLU (compreensão de linguagem multitarefa massiva): - Grok 4 alcançou 6% de precisão e um índice de inteligência de 73, liderando as paradas.

“Grok 4 é a primeira vez, na minha experiência, que uma IA conseguiu resolver questões de engenharia difíceis e do mundo real onde as respostas não podem ser encontradas em nenhum lugar da Internet ou em livros. E vai melhorar muito mais”, Musk postou no X.

No domínio STEM e de codificação, o modelo parece ainda mais forte:

• Grok 4 Heavy marcou 100% no AIME, um difícil teste de matemática de nível médio, enquanto o Grok 4 alcançou 98,8%.
• No GPQA, Grok 4 marcou 87,5%, enquanto a variante Grok 4 Heavy superou com 88,9%.
• Para programadores, a xAI provocou o próximo Grok 4 Code, que está programado para ser lançado em agosto de 2025, e já mostra 72–75% de precisão no SWE-bench.

Enquanto comparava PhDs ao Grok 4, Musk disse que “Grok 4 é de pós-graduação, como nível de PhD, em tudo. Melhor que PhD — sem exceções. A maioria dos PhDs falharia onde o Grok 4 passaria.”

Embora ele tenha admitido que ainda luta com o senso comum e não inventou novas tecnologias ou descobriu novas físicas – “ainda” mas isso é apenas uma questão de tempo.

Novos Preços

Os preços da API do Grok 4 serão os mesmos de seu predecessor — $3 por milhão de tokens de entrada e $15 por milhão de tokens de saída ($0,75 por 1M de tokens de entrada em cache).

No entanto, a maior surpresa está na atualização da linha de assinaturas da xAI:

• Camada Gratuita dá aos usuários acesso limitado ao Grok 3.
• Plano SuperGrok ($30/mês) desbloqueia acesso a ambos Grok 3 e o novo Grok 4.
• SuperGrok Heavy ($300/mês) oferece acesso completo ao Grok 4 Heavy, Grok 4 e Grok 3, além de prévias antecipadas de recursos futuros.

Grok 4 Para Competir com o GPT-5?

A pressão da xAI para dominar o espaço de IA vem logo antes do esperado lançamento do GPT-5 da OpenAI no final deste verão. Embora o forte desempenho do Grok 4 seja difícil de ignorar, a questão permanece: se as empresas e os clientes irão ignorar as controvérsias recentes e escolher a plataforma de Musk.