xai

Grok-4

Grok-4 par xAI est un frontier model doté d'une context window de 2M de tokens, d'une intégration en temps réel de la plateforme X et de capacités de reasoning.

xai logoxaiGrok9 juillet 2025
Contexte
2.0Mtokens
Sortie max.
8Ktokens
Prix entrée
$3.00/ 1M
Prix sortie
$15.00/ 1M
Modalité:TextImage
Capacités:VisionOutilsStreamingRaisonnement
Benchmarks
GPQA
87.5%
GPQA: Questions-Réponses Scientifiques Niveau Doctorat. Un benchmark rigoureux avec 448 questions à choix multiples en biologie, physique et chimie créées par des experts du domaine. Les experts en doctorat n'atteignent que 65-74% de précision, tandis que les non-experts obtiennent seulement 34% même avec un accès web illimité (d'où le terme 'résistant à Google'). Grok-4 a obtenu 87.5% sur ce benchmark.
HLE
44.4%
HLE: Raisonnement d'Expertise de Haut Niveau. Teste la capacité d'un modèle à démontrer un raisonnement de niveau expert dans des domaines spécialisés. Évalue la compréhension approfondie de sujets complexes nécessitant des connaissances de niveau professionnel. Grok-4 a obtenu 44.4% sur ce benchmark.
MMLU
94%
MMLU: Compréhension Linguistique Multitâche Massive. Un benchmark complet avec 16 000 questions à choix multiples couvrant 57 matières académiques incluant les mathématiques, la philosophie, le droit et la médecine. Teste les connaissances générales et les capacités de raisonnement. Grok-4 a obtenu 94% sur ce benchmark.
MMLU Pro
81.2%
MMLU Pro: MMLU Édition Professionnelle. Une version améliorée du MMLU avec 12 032 questions utilisant un format plus difficile à 10 options. Couvre les mathématiques, la physique, la chimie, le droit, l'ingénierie, l'économie, la santé, la psychologie, les affaires, la biologie, la philosophie et l'informatique. Grok-4 a obtenu 81.2% sur ce benchmark.
SimpleQA
48%
SimpleQA: Benchmark de Précision Factuelle. Teste la capacité d'un modèle à fournir des réponses précises et factuelles à des questions directes. Mesure la fiabilité et réduit les hallucinations dans les tâches de récupération de connaissances. Grok-4 a obtenu 48% sur ce benchmark.
IFEval
89.2%
IFEval: Évaluation du Suivi d'Instructions. Mesure la capacité d'un modèle à suivre des instructions et contraintes spécifiques. Teste la capacité à respecter les règles de formatage, les limites de longueur et autres exigences explicites. Grok-4 a obtenu 89.2% sur ce benchmark.
AIME 2025
100%
AIME 2025: Examen d'Invitation Américain en Mathématiques. Problèmes mathématiques de niveau compétition issus du prestigieux examen AIME conçu pour les lycéens talentueux. Teste la résolution de problèmes mathématiques avancés nécessitant un raisonnement abstrait, pas simplement de la correspondance de motifs. Grok-4 a obtenu 100% sur ce benchmark.
MATH
92%
MATH: Résolution de Problèmes Mathématiques. Un benchmark mathématique complet testant la résolution de problèmes en algèbre, géométrie, calcul et autres domaines mathématiques. Nécessite un raisonnement en plusieurs étapes et des connaissances mathématiques formelles. Grok-4 a obtenu 92% sur ce benchmark.
GSM8k
98.4%
GSM8k: Mathématiques Niveau Primaire 8K. 8 500 problèmes de mathématiques niveau primaire nécessitant un raisonnement en plusieurs étapes. Teste l'arithmétique de base et la pensée logique à travers des scénarios réels comme les achats ou les calculs de temps. Grok-4 a obtenu 98.4% sur ce benchmark.
MGSM
92.1%
MGSM: Mathématiques Niveau Primaire Multilingue. Le benchmark GSM8k traduit en 10 langues incluant l'espagnol, le français, l'allemand, le russe, le chinois et le japonais. Teste le raisonnement mathématique dans différentes langues. Grok-4 a obtenu 92.1% sur ce benchmark.
MathVista
72.4%
MathVista: Raisonnement Mathématique Visuel. Teste la capacité à résoudre des problèmes mathématiques impliquant des éléments visuels comme les graphiques, les diagrammes de géométrie et les figures scientifiques. Combine la compréhension visuelle avec le raisonnement mathématique. Grok-4 a obtenu 72.4% sur ce benchmark.
SWE-Bench
81%
SWE-Bench: Benchmark d'Ingénierie Logicielle. Les modèles d'IA tentent de résoudre de vrais problèmes GitHub dans des projets Python open-source avec vérification humaine. Teste les compétences pratiques en ingénierie logicielle sur des bases de code en production. Les meilleurs modèles sont passés de 4,4% en 2023 à plus de 70% en 2024. Grok-4 a obtenu 81% sur ce benchmark.
HumanEval
88%
HumanEval: Problèmes de Programmation Python. 164 problèmes de programmation écrits à la main où les modèles doivent générer des implémentations de fonctions Python correctes. Chaque solution est vérifiée par des tests unitaires. Les meilleurs modèles atteignent maintenant plus de 90% de précision. Grok-4 a obtenu 88% sur ce benchmark.
LiveCodeBench
79.4%
LiveCodeBench: Benchmark de Code en Direct. Teste les capacités de codage sur des défis de programmation réels continuellement mis à jour. Contrairement aux benchmarks statiques, utilise des problèmes frais pour éviter la contamination des données et mesurer les vraies compétences de codage. Grok-4 a obtenu 79.4% sur ce benchmark.
MMMU
75%
MMMU: Compréhension Multimodale. Benchmark de Compréhension Multimodale Multi-discipline Massive testant les modèles vision-langage sur des problèmes universitaires dans 30 matières nécessitant à la fois la compréhension d'images et des connaissances expertes. Grok-4 a obtenu 75% sur ce benchmark.
MMMU Pro
59.2%
MMMU Pro: MMMU Édition Professionnelle. Version améliorée du MMMU avec des questions plus difficiles et une évaluation plus stricte. Teste le raisonnement multimodal avancé aux niveaux professionnel et expert. Grok-4 a obtenu 59.2% sur ce benchmark.
ChartQA
90.5%
ChartQA: Questions-Réponses sur Graphiques. Teste la capacité à comprendre et raisonner sur les informations présentées dans les graphiques. Nécessite l'extraction de données, la comparaison de valeurs et l'exécution de calculs à partir de représentations visuelles de données. Grok-4 a obtenu 90.5% sur ce benchmark.
DocVQA
93.2%
DocVQA: Q&R Visuelle sur Documents. Benchmark de Questions-Réponses Visuelles sur Documents testant la capacité à extraire et raisonner sur les informations des images de documents incluant les formulaires, rapports et textes numérisés. Grok-4 a obtenu 93.2% sur ce benchmark.
Terminal-Bench
54.2%
Terminal-Bench: Tâches Terminal/CLI. Teste la capacité à effectuer des opérations en ligne de commande, écrire des scripts shell et naviguer dans les environnements terminal. Mesure les compétences pratiques en administration système et flux de travail de développement. Grok-4 a obtenu 54.2% sur ce benchmark.
ARC-AGI
15.9%
ARC-AGI: Abstraction et Raisonnement. Corpus d'Abstraction et de Raisonnement pour l'AGI - teste l'intelligence fluide à travers des puzzles de reconnaissance de motifs nouveaux. Chaque tâche nécessite de découvrir la règle sous-jacente à partir d'exemples, mesurant la capacité de raisonnement général plutôt que la mémorisation. Grok-4 a obtenu 15.9% sur ce benchmark.

À propos de Grok-4

Découvrez les capacités, fonctionnalités et façons d'utiliser Grok-4.

Aperçu

Grok-4 est le dernier frontier model d'IA de xAI, conçu pour être un assistant en quête de vérité avec un accès en temps réel à la plateforme X. Construit sur le cluster de supercalculateurs Colossus avec plus de 200 000 GPUs, il représente un saut massif dans le reasoning, la résolution de problèmes mathématiques et les capacités de codage. Il dispose d'une architecture dual-mode unifiée, permettant aux utilisateurs de basculer entre un mode reasoning de réflexion approfondie pour les énigmes complexes et un mode haute vélocité pour des réponses immédiates.

Innovations Techniques

Ce bond générationnel en matière de calcul a permis d'atteindre des performances de niveau doctorat dans toutes les disciplines académiques simultanément. Le model se caractérise de manière unique par sa stratégie d'alignement anti-woke, privilégiant les informations objectives aux barrières de sécurité standards. Sa context window massive de 2 millions de tokens et son intégration dans l'écosystème Musk, incluant X et les véhicules Tesla, offrent un avantage concurrentiel distinct. Bien qu'il excelle dans les domaines STEM et le reasoning technique, il reste très efficace pour les tâches créatives quotidiennes et l'analyse de l'actualité en temps réel.

Philosophie de Performance

Grok-4 donne la priorité à la réflexion basée sur les principes fondamentaux (first-principles thinking) et à la synthèse de données objectives. En utilisant le moteur de reasoning Quasarflux, il peut naviguer dans des chaînes logiques multi-étapes qui font généralement dérailler les LLMs traditionnels. Cela en fait un outil essentiel pour les développeurs et les chercheurs qui exigent des outputs de haute fidélité dans des environnements à enjeux élevés où l'exactitude factuelle est non négociable.

Grok-4

Cas d'utilisation de Grok-4

Découvrez les différentes façons d'utiliser Grok-4 pour obtenir d'excellents résultats.

Recherche STEM de niveau doctorat

Utilisation du mode Thinking pour résoudre des problèmes de physique complexes et vérifier des preuves mathématiques de haut niveau.

Débogage de dépôts massifs

Exploitation de la context window de 2M pour ingérer des bases de code entières et identifier des conditions de concurrence subtiles.

Intelligence financière en temps réel

Surveillance du flux Firehose de X pour analyser le sentiment du marché et les actualités de dernière minute pour des insights de trading.

Workflows d'agents autonomes

Alimentation de tâches agentic complexes via un function calling robuste pour la logistique et l'automatisation.

Analyse juridique multimodale

Examen de milliers de pages de documents de communication de pièces tout en analysant des photos de preuves scannées.

Tutorat académique avancé

Fourniture d'un tutorat personnalisé basé sur les principes fondamentaux (first-principles) dans les matières STEM, adapté à la progression de l'étudiant.

Points forts

Limitations

Logique et mathématiques inégalées: A obtenu un score record de 100 % à l'AIME 2025, ce qui en fait le premier choix pour les tâches techniques.
Logique de base irrégulière: Bien qu'il excelle aux examens universitaires, le model peut parfois échouer sur des tâches triviales comme compter les lettres d'un mot.
Contexte leader du marché: La fenêtre de 2 millions de tokens permet l'analyse d'environ 1 500 pages de texte en un seul prompt.
Barrière à l'entrée élevée: L'accès à la pleine puissance du model Grok-4 Heavy et aux capacités de reasoning nécessite un abonnement premium.
Pipeline de données en direct: L'accès exclusif au flux de données en temps réel de la plateforme X garantit que les réponses sont à jour sur les événements mondiaux.
Manque de nuances créatives: Il est en retrait par rapport à Claude 4.5 pour la narration créative, adoptant souvent un ton plus utilitaire ou provocateur.
Intelligence émotionnelle: Ses hautes performances sur EQ-Bench3 indiquent une capacité supérieure à comprendre les émotions humaines nuancées.
Cohérence de la génération d'images: Les outils internes peinent à maintenir une cohérence visuelle sur plusieurs images.

Démarrage rapide API

xai/grok-4

Voir la documentation
xai SDK
import { xAI } from '@xai/sdk';

const client = new xAI({
  apiKey: process.env.XAI_API_KEY,
});

async function main() {
  const response = await client.chat.completions.create({
    model: 'grok-4',
    messages: [{ role: 'user', content: 'Analyze the latest news about xAI from the Firehose.' }],
    stream: true,
  });

  for await (const chunk of response) {
    process.stdout.write(chunk.choices[0]?.delta?.content || '');
  }
}

main();

Installez le SDK et commencez à faire des appels API en quelques minutes.

Ce que les gens disent de Grok-4

Voyez ce que la communauté pense de Grok-4

"Grok 4 donne officiellement une leçon à la concurrence... prouvant que xAI a construit un model qui pense comme un prédateur."
Mario Nawfal
x/twitter
"Grok 4 est un génie de niveau doctorat qui massacre les benchmarks, mais qui ne sait parfois pas compter. La dualité est folle."
Beginning-Willow-801
reddit
"Le passage à 2 millions de tokens n'est pas qu'un gadget ; cela change fondamentalement le débogage de dépôts."
AI Tech Reviews
youtube
"Grok 4 est clairement le meilleur model en termes de compréhension générale, loin devant GPT-5."
YMist_
reddit
"L'usage va exploser avec Grok 4.20. Il sort dans 3 ou 4 semaines."
Elon Musk
x/twitter
"L'intégration X en temps réel est la seule chose qui permet à mes recherches de rester pertinentes dans ce cycle d'actualités."
DataScientist_Alpha
hackernews

Vidéos sur Grok-4

Regardez des tutoriels, critiques et discussions sur Grok-4

Le nombre de mots dans cette réponse est exactement 43... Très impressionnant.

Non seulement il a pu résoudre la Tour de Hanoï dans son chain-of-thought, mais il l'a réellement prouvé et visualisé avec du code.

J'adore cette réponse. Droit au but, directe. Pas d'enrobage du tout.

Les capacités de reasoning ici sont clairement un cran au-dessus de ce que nous avons vu dans la génération précédente.

C'est enfin un model qui n'a pas l'air de retenir la vérité pour être poli.

Le bouton de reasoning expérimental pour Grok a été récemment supprimé... ce qui conduit à une caractérisation potentiellement désuète.

Grok OS était le moins impressionnant, avec un fond blanc basique et des icônes cassées.

En termes de recherche d'informations brutes, Grok-4 atteint systématiquement la cible là où GPT-5 échoue.

La latency du mode reasoning est plus élevée, mais la qualité de l'output justifie l'attente.

Si vous êtes dans l'écosystème Musk, l'intégration ici est un multiplicateur de productivité massif.

Personne ne veut d'un model super rapide s'il ne peut pas résoudre la logique. Je vous le dis gratuitement, les gars.

Je lui donnerais un moins un sur 10... Une horreur totale. Impossible de construire un simple site Next.js.

La vitesse est là, mais si la logique est cassée, quel est l'intérêt des tokens par seconde ?

On a l'impression qu'ils ont précipité la variante coder juste pour respecter le cycle de sortie.

Restez sur le model de reasoning standard si vous voulez vraiment quelque chose qui fonctionne.

Plus que de simples prompts

Optimisez votre flux de travail avec l'Automatisation IA

Automatio combine la puissance des agents IA, de l'automatisation web et des integrations intelligentes pour vous aider a accomplir plus en moins de temps.

Agents IA
Automatisation Web
Flux Intelligents
Voir la video demo

Conseils Pro pour Grok-4

Conseils d'experts pour tirer le meilleur parti de Grok-4.

Alternance de mode

Utilisez le mode Quasarflux pour la logique complexe et le mode Tensor pour la vitesse afin d'optimiser les coûts et la performance.

Requêtes en temps réel

Faites explicitement des prompts sur les sujets tendances sur X pour exploiter le pipeline de données en direct et contourner les dates de coupure d'entraînement.

Focus STEM

Privilégiez Grok pour les mathématiques de niveau doctorat, où il surpasse largement ses concurrents sur les tâches zero-shot.

Vérifier la logique de base

Vérifiez par deux fois le comptage simple ou l'ordre des listes, car le model peut être incohérent sur des tâches triviales.

Témoignages

Ce Que Disent Nos Utilisateurs

Rejoignez des milliers d'utilisateurs satisfaits qui ont transforme leur flux de travail

Jonathan Kogan

Jonathan Kogan

Co-Founder/CEO, rpatools.io

Automatio is one of the most used for RPA Tools both internally and externally. It saves us countless hours of work and we realized this could do the same for other startups and so we choose Automatio for most of our automation needs.

Mohammed Ibrahim

Mohammed Ibrahim

CEO, qannas.pro

I have used many tools over the past 5 years, Automatio is the Jack of All trades.. !! it could be your scraping bot in the morning and then it becomes your VA by the noon and in the evening it does your automations.. its amazing!

Ben Bressington

Ben Bressington

CTO, AiChatSolutions

Automatio is fantastic and simple to use to extract data from any website. This allowed me to replace a developer and do tasks myself as they only take a few minutes to setup and forget about it. Automatio is a game changer!

Sarah Chen

Sarah Chen

Head of Growth, ScaleUp Labs

We've tried dozens of automation tools, but Automatio stands out for its flexibility and ease of use. Our team productivity increased by 40% within the first month of adoption.

David Park

David Park

Founder, DataDriven.io

The AI-powered features in Automatio are incredible. It understands context and adapts to changes in websites automatically. No more broken scrapers!

Emily Rodriguez

Emily Rodriguez

Marketing Director, GrowthMetrics

Automatio transformed our lead generation process. What used to take our team days now happens automatically in minutes. The ROI is incredible.

Jonathan Kogan

Jonathan Kogan

Co-Founder/CEO, rpatools.io

Automatio is one of the most used for RPA Tools both internally and externally. It saves us countless hours of work and we realized this could do the same for other startups and so we choose Automatio for most of our automation needs.

Mohammed Ibrahim

Mohammed Ibrahim

CEO, qannas.pro

I have used many tools over the past 5 years, Automatio is the Jack of All trades.. !! it could be your scraping bot in the morning and then it becomes your VA by the noon and in the evening it does your automations.. its amazing!

Ben Bressington

Ben Bressington

CTO, AiChatSolutions

Automatio is fantastic and simple to use to extract data from any website. This allowed me to replace a developer and do tasks myself as they only take a few minutes to setup and forget about it. Automatio is a game changer!

Sarah Chen

Sarah Chen

Head of Growth, ScaleUp Labs

We've tried dozens of automation tools, but Automatio stands out for its flexibility and ease of use. Our team productivity increased by 40% within the first month of adoption.

David Park

David Park

Founder, DataDriven.io

The AI-powered features in Automatio are incredible. It understands context and adapts to changes in websites automatically. No more broken scrapers!

Emily Rodriguez

Emily Rodriguez

Marketing Director, GrowthMetrics

Automatio transformed our lead generation process. What used to take our team days now happens automatically in minutes. The ROI is incredible.

Associés AI Models

anthropic

Claude Opus 4.5

anthropic

Claude Opus 4.5 is Anthropic's most powerful frontier model, delivering record-breaking 80.9% SWE-bench performance and advanced autonomous agency for coding.

200K context
$5.00/$25.00/1M
openai

GPT-5.1

openai

GPT-5.1 is OpenAI’s advanced reasoning flagship featuring adaptive thinking, native multimodality, and state-of-the-art performance in math and technical...

400K context
$1.25/$10.00/1M
zhipu

GLM-4.7

zhipu

GLM-4.7 by Zhipu AI is a flagship 358B MoE model featuring a 200K context window, elite 73.8% SWE-bench performance, and native Deep Thinking for agentic...

200K context
$0.60/$2.20/1M
anthropic

Claude 3.7 Sonnet

anthropic

Claude 3.7 Sonnet is Anthropic's first hybrid reasoning model, delivering state-of-the-art coding capabilities, a 200k context window, and visible thinking.

200K context
$3.00/$15.00/1M
google

Gemini 3 Flash

google

Gemini 3 Flash is Google's high-speed multimodal model featuring a 1M token context window, elite 90.4% GPQA reasoning, and autonomous browser automation tools.

1M context
$0.50/$3.00/1M
xai

Grok-3

xai

Grok-3 is xAI's flagship reasoning model, featuring deep logic deduction, a 128k context window, and real-time integration with X for live research and coding.

128K context
$3.00/$15.00/1M
google

Gemini 3 Pro

google

Google's Gemini 3 Pro is a multimodal powerhouse featuring a 1M token context window, native video processing, and industry-leading reasoning performance.

1M context
$2.00/$12.00/1M
anthropic

Claude Sonnet 4.5

anthropic

Anthropic's Claude Sonnet 4.5 delivers world-leading coding (77.2% SWE-bench) and a 200K context window, optimized for the next generation of autonomous agents.

200K context
$3.00/$15.00/1M

Questions Fréquentes sur Grok-4

Trouvez des réponses aux questions courantes sur Grok-4