A empresa de inteligência artificial xAI, liderada por Musk, apresentou há algumas horas seu mais recente modelo de IA, o Grok 4, que é descrito como "a IA mais Satoshi do mundo". Este modelo combina uma capacidade de raciocínio sem precedentes, um nível acadêmico de doutorado e a integração do uso de múltiplas ferramentas, quebrando recordes em vários testes de referência. Ele prevê que o Grok 4 trará invenções tecnológicas ou significados acadêmicos substanciais dentro de um ano.
Apresentando o Grok 4, o modelo de IA mais poderoso do mundo. Assista à transmissão ao vivo agora:
— xAI (@xai) 10 de julho de 2025
Duas versões: Grok 4 e Grok 4 Heavy
Primeiro, o Grok 4 é dividido na versão simples de um único agente (Single-Agent Version) do Grok 4, e na versão de múltiplos agentes (Multi-Agent Version) do Grok 4 Heavy.
Grok 4: Versão básica, com um único agente de IA a tratar problemas.
Grok 4 Heavy: Adota um modelo de colaboração multi-agente (multi-agent collaboration), permitindo que vários agentes resolvam problemas individualmente, depois compartilhem suas soluções e comparem seus resultados, como um "grupo de estudo", para chegar à resposta final.
Atualmente, a empresa também lançou o plano de assinatura mais caro até agora, "SuperGrok Heavy", a 300 dólares por mês. Os assinantes do plano poderão experimentar antecipadamente o serviço Grok 4 Heavy, bem como ter prioridade no uso das funcionalidades que serão lançadas no futuro.
Inteligência de nível doutoral: de 100% no SAT a gênio em todos os domínios
Além disso, a xAI afirma que o Grok 4 possui habilidades acadêmicas e lógicas que superam as humanas, tornando-se um dos modelos mais próximos da inteligência artificial geral (AGI) na atualidade. Ele pode obter quase a pontuação máxima em exames de nível superior como o SAT e o GRE, e demonstra um conhecimento de nível de doutorado em todas as disciplinas.
Além disso, o Grok 4 alcançou novos recordes em vários testes de referência, demonstrando limites de capacidade sem precedentes. Especificamente inclui:
Em desafios de lógica matemática de alta dificuldade, como problemas difíceis para estudantes de pós-graduação (GPQA), exame de matemática dos EUA (AIME 2025), competição de matemática dos EUA (USAMO), estão todos classificado como o primeiro entre os modelos de IA existentes.
No teste de simulação de operações comerciais da máquina de venda automática Vending-Bench, conseguimos duplicar a receita de ativos, demonstrando uma capacidade de formulação de estratégias estável e consistente.
O Centro de Pesquisa Biomédica ARC Institute utiliza o Grok 4 para automatizar seus processos de pesquisa, promovendo de forma eficiente a realização de experimentos.
Outras áreas, como exames de imagem médica, elaboração de estratégias financeiras e desenvolvimento de jogos, já têm aplicações práticas.
Ao mesmo tempo, no exame final da humanidade (Humanity’s Last Exam, HLE), o Grok 4 consegue resolver 25,4% das questões sem assistência, enquanto a versão Grok 4 Heavy consegue resolver 44,4% das questões, ocupando o primeiro lugar entre os modelos de IA existentes.
Usar o supercomputador Colossus para treinar o Grok 4, com um grande aumento na eficiência de cálculo.
xAI revelou que o lançamento do Grok 4 é resultado de um duplo salto em hardware e estratégias de treinamento: "O volume de treinamento do Grok 4 é 100 vezes o do Grok 2."
Através do nosso supercomputador Colossus com cerca de 200 mil GPUs H100, desde o pré-treinamento até o aprendizado por reforço (RLHF), o Grok 4 aprimorou o foco e a precisão do modelo em tarefas de raciocínio.
A equipe enfatiza que, à medida que a dificuldade das questões elaboradas por humanos já "não pode treinar efetivamente" o Grok 4, o mundo real se tornará o local final de teste, como por exemplo, a capacidade de realmente criar invenções ou tecnologias úteis, a fim de determinar se elas são realmente eficazes.
Integração de ferramentas e interação com o mundo real: Grok 4 rumo à IA operável
Ao mesmo tempo, o Grok 4 não apenas pensará, mas também aprenderá a resolver problemas do mundo real. A xAI afirma que, ao contrário de outros modelos, o Grok 4 incorpora a capacidade de usar ferramentas no processo de treinamento, melhorando a capacidade de implementação e adaptação:
Nos próximos meses, o Grok 4 irá integrar ferramentas de análise de engenharia utilizadas pela Tesla e pela SpaceX, entrando em um ambiente de engenharia mais preciso. Também planejamos fornecer ferramentas empresariais robustas e simuladores físicos de alta precisão para grandes empresas até o final deste ano.
A equipe acrescentou: "O objetivo atual é permitir que o Grok controle o robô humanoide Optimus e valide a veracidade e eficácia de sua lógica e criatividade no mundo físico."
( Jensen Huang da NVIDIA: O chip da Huawei já alcançou o NVIDIA H20, o robô Optimus de Musk abre oportunidades de triliões )
A capacidade de raciocínio além da humana: o Grok 4 pode criar novas invenções?
Em seguida, está a função de raciocínio que a xAI mais se orgulha, o Grok 4, que não só consegue extrair conhecimento dos dados de treinamento, mas também possui uma capacidade de pensamento lógico cultivada através de treinamento reforçado, sendo capaz de construir soluções para problemas em contextos desconhecidos e realizar validações de reflexão coletiva entre múltiplos agentes, chegando, assim como os cientistas humanos, a suas próprias conclusões:
Grok 4 foi projetado como uma forma de pensar a partir dos "primeiros princípios", capaz de descobrir problemas por conta própria, construir lógica e realizar deduções complexas, um campo de raciocínio que outras IAs anteriores têm dificuldade em alcançar.
A xAI espera que o Grok 4 invente uma nova tecnologia verdadeiramente útil até o final deste ano, no mais tardar no próximo ano, e que possa descobrir princípios científicos atualmente desconhecidos para a humanidade nos próximos dois anos.
(Entrevista com Musk: A superinteligência da IA vai explodir, os empreendedores devem buscar uma vida "útil" em vez de "grande")
Da previsão de mercado à criação de jogos: a camada de aplicação do Grok 4 expande-se novamente.
Por fim, a xAI também demonstrou o potencial de aplicação prática do Grok 4 em vários campos, como interação de voz e negócios financeiros. Tomando como exemplo a análise de tendências de eventos, o Grok 4 Heavy consegue verificar o mercado de previsões Polymarket, utilizando capacidade de cálculo estatístico e raciocínio, prevendo em apenas alguns minutos que a probabilidade de vitória dos Dodgers na World Series é de 21,6%, demonstrando um poder de computação em tempo real que supera as ferramentas tradicionais de análise quantitativa.
Grok 4 através dos dados da Polymarket estima a taxa de vitória dos Dodgers na World Series da MLB
(X anunciou uma colaboração com a Polymarket, como parceiro oficial do mercado de previsões)
A visão futura da Grok também é impressionante, a xAI afirmou que as futuras versões incluirão capacidade de compreensão de vídeos e interação com jogos, podendo jogar e avaliar o que se considera "diversão", além de integrar motores de jogos para criar conteúdo interativo e artístico por conta própria. Incluindo programas de televisão, obras de cinema e jogos eletrônicos.
Na área de voz, o Grok 4 teve uma grande atualização de desempenho. O novo modelo introduz vários estilos de voz e sotaques, tornando as conversas mais naturais e fluídas. Durante a apresentação, houve uma comparação intencional com o GPT, destacando que o Grok 4 não apenas não interrompe os usuários, mas também reduz significativamente o tempo de atraso entre o pensamento e a resposta, tornando-se um dos principais destaques da sua interface.
Grok 4 não é apenas uma ferramenta, mas um impulsionador da civilização humana.
O nascimento do Grok 4 não representa apenas a IA entrando em uma fase mais profunda de pensamento e aplicação, mas, segundo Musk, também promete desencadear uma revolução inteligente que atravessa a educação, a ciência, os negócios e as indústrias criativas, e o Grok realmente participará disso, e não será apenas um modelo de linguagem ou uma ferramenta auxiliar que atua nos bastidores.
A visão futura da equipe de desenvolvimento da xAI é grandiosa e radical, enfatizando: "A IA hoje não é mais apenas uma ferramenta que nos ajuda a pensar, mas sim uma que co-cria o mundo conosco."
Este artigo Doutor AI? Musk xAI lança Grok 4: raciocínio multi-agente, funcionalidades de previsão de mercado de uma só vez. Apareceu pela primeira vez em Chain News ABMedia.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
AI de nível doutoral? Musk XAI lança Grok 4: raciocínio multi-agente, funcionalidades de mercado de previsão em uma só vez.
A empresa de inteligência artificial xAI, liderada por Musk, apresentou há algumas horas seu mais recente modelo de IA, o Grok 4, que é descrito como "a IA mais Satoshi do mundo". Este modelo combina uma capacidade de raciocínio sem precedentes, um nível acadêmico de doutorado e a integração do uso de múltiplas ferramentas, quebrando recordes em vários testes de referência. Ele prevê que o Grok 4 trará invenções tecnológicas ou significados acadêmicos substanciais dentro de um ano.
Apresentando o Grok 4, o modelo de IA mais poderoso do mundo. Assista à transmissão ao vivo agora:
— xAI (@xai) 10 de julho de 2025
Duas versões: Grok 4 e Grok 4 Heavy
Primeiro, o Grok 4 é dividido na versão simples de um único agente (Single-Agent Version) do Grok 4, e na versão de múltiplos agentes (Multi-Agent Version) do Grok 4 Heavy.
Grok 4: Versão básica, com um único agente de IA a tratar problemas.
Grok 4 Heavy: Adota um modelo de colaboração multi-agente (multi-agent collaboration), permitindo que vários agentes resolvam problemas individualmente, depois compartilhem suas soluções e comparem seus resultados, como um "grupo de estudo", para chegar à resposta final.
Atualmente, a empresa também lançou o plano de assinatura mais caro até agora, "SuperGrok Heavy", a 300 dólares por mês. Os assinantes do plano poderão experimentar antecipadamente o serviço Grok 4 Heavy, bem como ter prioridade no uso das funcionalidades que serão lançadas no futuro.
Inteligência de nível doutoral: de 100% no SAT a gênio em todos os domínios
Além disso, a xAI afirma que o Grok 4 possui habilidades acadêmicas e lógicas que superam as humanas, tornando-se um dos modelos mais próximos da inteligência artificial geral (AGI) na atualidade. Ele pode obter quase a pontuação máxima em exames de nível superior como o SAT e o GRE, e demonstra um conhecimento de nível de doutorado em todas as disciplinas.
Além disso, o Grok 4 alcançou novos recordes em vários testes de referência, demonstrando limites de capacidade sem precedentes. Especificamente inclui:
Em desafios de lógica matemática de alta dificuldade, como problemas difíceis para estudantes de pós-graduação (GPQA), exame de matemática dos EUA (AIME 2025), competição de matemática dos EUA (USAMO), estão todos classificado como o primeiro entre os modelos de IA existentes.
No teste de simulação de operações comerciais da máquina de venda automática Vending-Bench, conseguimos duplicar a receita de ativos, demonstrando uma capacidade de formulação de estratégias estável e consistente.
O Centro de Pesquisa Biomédica ARC Institute utiliza o Grok 4 para automatizar seus processos de pesquisa, promovendo de forma eficiente a realização de experimentos.
Outras áreas, como exames de imagem médica, elaboração de estratégias financeiras e desenvolvimento de jogos, já têm aplicações práticas.
Ao mesmo tempo, no exame final da humanidade (Humanity’s Last Exam, HLE), o Grok 4 consegue resolver 25,4% das questões sem assistência, enquanto a versão Grok 4 Heavy consegue resolver 44,4% das questões, ocupando o primeiro lugar entre os modelos de IA existentes.
Usar o supercomputador Colossus para treinar o Grok 4, com um grande aumento na eficiência de cálculo.
xAI revelou que o lançamento do Grok 4 é resultado de um duplo salto em hardware e estratégias de treinamento: "O volume de treinamento do Grok 4 é 100 vezes o do Grok 2."
Através do nosso supercomputador Colossus com cerca de 200 mil GPUs H100, desde o pré-treinamento até o aprendizado por reforço (RLHF), o Grok 4 aprimorou o foco e a precisão do modelo em tarefas de raciocínio.
A equipe enfatiza que, à medida que a dificuldade das questões elaboradas por humanos já "não pode treinar efetivamente" o Grok 4, o mundo real se tornará o local final de teste, como por exemplo, a capacidade de realmente criar invenções ou tecnologias úteis, a fim de determinar se elas são realmente eficazes.
Integração de ferramentas e interação com o mundo real: Grok 4 rumo à IA operável
Ao mesmo tempo, o Grok 4 não apenas pensará, mas também aprenderá a resolver problemas do mundo real. A xAI afirma que, ao contrário de outros modelos, o Grok 4 incorpora a capacidade de usar ferramentas no processo de treinamento, melhorando a capacidade de implementação e adaptação:
Nos próximos meses, o Grok 4 irá integrar ferramentas de análise de engenharia utilizadas pela Tesla e pela SpaceX, entrando em um ambiente de engenharia mais preciso. Também planejamos fornecer ferramentas empresariais robustas e simuladores físicos de alta precisão para grandes empresas até o final deste ano.
A equipe acrescentou: "O objetivo atual é permitir que o Grok controle o robô humanoide Optimus e valide a veracidade e eficácia de sua lógica e criatividade no mundo físico."
( Jensen Huang da NVIDIA: O chip da Huawei já alcançou o NVIDIA H20, o robô Optimus de Musk abre oportunidades de triliões )
A capacidade de raciocínio além da humana: o Grok 4 pode criar novas invenções?
Em seguida, está a função de raciocínio que a xAI mais se orgulha, o Grok 4, que não só consegue extrair conhecimento dos dados de treinamento, mas também possui uma capacidade de pensamento lógico cultivada através de treinamento reforçado, sendo capaz de construir soluções para problemas em contextos desconhecidos e realizar validações de reflexão coletiva entre múltiplos agentes, chegando, assim como os cientistas humanos, a suas próprias conclusões:
Grok 4 foi projetado como uma forma de pensar a partir dos "primeiros princípios", capaz de descobrir problemas por conta própria, construir lógica e realizar deduções complexas, um campo de raciocínio que outras IAs anteriores têm dificuldade em alcançar.
A xAI espera que o Grok 4 invente uma nova tecnologia verdadeiramente útil até o final deste ano, no mais tardar no próximo ano, e que possa descobrir princípios científicos atualmente desconhecidos para a humanidade nos próximos dois anos.
(Entrevista com Musk: A superinteligência da IA vai explodir, os empreendedores devem buscar uma vida "útil" em vez de "grande")
Da previsão de mercado à criação de jogos: a camada de aplicação do Grok 4 expande-se novamente.
Por fim, a xAI também demonstrou o potencial de aplicação prática do Grok 4 em vários campos, como interação de voz e negócios financeiros. Tomando como exemplo a análise de tendências de eventos, o Grok 4 Heavy consegue verificar o mercado de previsões Polymarket, utilizando capacidade de cálculo estatístico e raciocínio, prevendo em apenas alguns minutos que a probabilidade de vitória dos Dodgers na World Series é de 21,6%, demonstrando um poder de computação em tempo real que supera as ferramentas tradicionais de análise quantitativa.
Grok 4 através dos dados da Polymarket estima a taxa de vitória dos Dodgers na World Series da MLB
(X anunciou uma colaboração com a Polymarket, como parceiro oficial do mercado de previsões)
A visão futura da Grok também é impressionante, a xAI afirmou que as futuras versões incluirão capacidade de compreensão de vídeos e interação com jogos, podendo jogar e avaliar o que se considera "diversão", além de integrar motores de jogos para criar conteúdo interativo e artístico por conta própria. Incluindo programas de televisão, obras de cinema e jogos eletrônicos.
Na área de voz, o Grok 4 teve uma grande atualização de desempenho. O novo modelo introduz vários estilos de voz e sotaques, tornando as conversas mais naturais e fluídas. Durante a apresentação, houve uma comparação intencional com o GPT, destacando que o Grok 4 não apenas não interrompe os usuários, mas também reduz significativamente o tempo de atraso entre o pensamento e a resposta, tornando-se um dos principais destaques da sua interface.
Grok 4 não é apenas uma ferramenta, mas um impulsionador da civilização humana.
O nascimento do Grok 4 não representa apenas a IA entrando em uma fase mais profunda de pensamento e aplicação, mas, segundo Musk, também promete desencadear uma revolução inteligente que atravessa a educação, a ciência, os negócios e as indústrias criativas, e o Grok realmente participará disso, e não será apenas um modelo de linguagem ou uma ferramenta auxiliar que atua nos bastidores.
A visão futura da equipe de desenvolvimento da xAI é grandiosa e radical, enfatizando: "A IA hoje não é mais apenas uma ferramenta que nos ajuda a pensar, mas sim uma que co-cria o mundo conosco."
Este artigo Doutor AI? Musk xAI lança Grok 4: raciocínio multi-agente, funcionalidades de previsão de mercado de uma só vez. Apareceu pela primeira vez em Chain News ABMedia.