| 多段階の推論、検証が必要な問題、難度の高い数学・科学・コーディング推論など。xAIは、より挑戦的なタスク向けと説明しています。 |
| 推論の考え方 | 第三者整理のDataCampは、Grok 4をsingle-agentモデルと説明しています。 | DataCampはGrok 4 Heavyをmulti-agent版と説明しています。別の第三者技術整理では、parallel test-time computeを使うとされています。 |
| ベンチマークでの傾向 | LLM Statsの比較では、掲載された6つのベンチマークでGrok-4がGrok-4 Heavyを上回った項目は0です。 | LLM Statsでは、AIME 2025、GPQA、HMMT25、Humanity’s Last Exam、LiveCodeBench、USAMO25の6項目すべてでGrok-4 HeavyがGrok-4を上回っています。 |
| 利用条件 | xAIは、Grok 4をSuperGrok、Premium+、xAI APIで利用できるとしています。 | SuperGrok Heavy関連のアクセスが必要です。xAIは、SuperGrok HeavyでGrok 4 Heavyとより高いrate limitsを提供すると説明しています。 |
技術的に注目すべき点は、Grok 4.2という名前そのものより、通常のGrok 4系とGrok 4 Heavyで推論の動かし方がどう違うと説明されているかです。
第三者整理のDataCampは、Grok 4をxAIのsingle-agentモデル、Grok 4 Heavyをmulti-agent版と説明しています。 さらに別の第三者技術整理では、Grok 4 Heavyはparallel test-time compute、つまり推論時に複数のモデルインスタンスを並行して走らせ、異なる方向から問題を探索する方式を使うとされています。
実際の使い勝手で言えば、通常のGrok 4系は「優秀な1人のアシスタントにそのまま頼む」感覚に近く、Grok 4 Heavyは「同じ難問を複数の推論ルートで同時に検討させる」発想に近いと考えると分かりやすいでしょう。複雑なロジック、多段階の検証、難しいコード推論では、この違いが効きやすくなります。
ただし、single-agentやmulti-agent、parallel test-time computeといった説明は、ここで参照している範囲では第三者による技術整理です。xAIの完全な公式技術白書として扱うべきではありません。
第三者のベンチマーク集計であるLLM Statsでは、比較対象となった6項目すべてでGrok-4 HeavyがGrok-4を上回り、Grok-4が上回った項目は0とされています。 対象には、AIME 2025、GPQA、HMMT25、Humanity’s Last Exam、LiveCodeBench、USAMO25が含まれます。
この結果から言えるのは、Heavyは高難度の数学、科学的な知識問題、競技的な推論、複雑なコード推論で有利になりやすいということです。重要な分析や、間違いを減らしたい検証作業では、Grok 4 Heavyを使う価値が出やすいでしょう。
一方で、ベンチマークで勝っているからといって、短い要約、一般的な下書き、簡単な検索、よくある質問への回答まで、毎回はっきり体感差が出るとは限りません。Grok 4自体にもツール利用とリアルタイム検索統合があるため、普段使いなら通常のGrok 4系で十分な場面は多いはずです。
モデルの性能だけでなく、利用できるかどうかも重要です。xAIはGrok 4について、SuperGrok、Premium+の加入者とxAI APIから利用可能と説明しています。 同じ発表では、新しいSuperGrok Heavy tierがGrok 4 Heavyへのアクセスを提供することも案内されています。
つまりGrok 4 Heavyは、単に「強いモデル」というだけではなく、「必要なときに使う高難度タスク向けの選択肢」と見るのが現実的です。日常ワークフローの標準モデルとしては通常のGrok 4系、複雑で重要な局面ではHeavy、という切り分けが分かりやすいでしょう。