# xAI — Grok 4

- Company: xAI (x.ai)
- Announced: 2025-07-09T00:00:00+00:00
- Category: new-model
- Subject: Grok
- Models affected: Grok 4, Grok 4 Heavy
- Source: https://x.ai/news/grok-4
- Record: https://forck.live/items/4351-grok-4

xAI announces Grok 4, described as the most intelligent model with native tool use and real-time search integration. It is available to SuperGrok and Premium+ subscribers and through the xAI API. A new SuperGrok Heavy tier provides access to Grok 4 Heavy, which employs parallel test-time compute. Grok 4 was trained using reinforcement learning on the Colossus cluster (200,000 GPUs) with a 6x improvement in compute efficiency. Grok 4 Heavy is the first model to score 50% on Humanity's Last Exam and achieves state-of-the-art results on benchmarks including ARC-AGI V2 (15.9%), Vending-Bench ($4694.15 net worth), and USAMO'25 (61.9%).

## Evidence

Verbatim from https://x.ai/news/grok-4:

> Grok 4 is the most intelligent model in the world. It includes native tool use and real-time search integration, and is available now to SuperGrok and Premium+ subscribers, as well as through the xAI API. We are also introducing a new SuperGrok Heavy tier with access to Grok 4 Heavy - the most powerful version of Grok 4.

---

Record: https://forck.live/items/4351-grok-4
Catalogue: https://forck.live/llms.txt
Feed: https://forck.live/feed.md