xAI, the artificial intelligence company led by Elon Musk, has launched Grok 4, which it claims is the smartest AI model in the world. Grok 4 achieved a score of 73 on the Artificial Analysis Intelligence Index, outperforming competitors such as OpenAI's o3 and Google's Gemini 2.5 Pro, both of which scored 70. The model excelled in various independent evaluations, including MMLU-Pro and GPQA, and set new records on benchmarks like ARC-AGI, where it scored 15.9%, nearly double the next best model. Additionally, Grok 4 Heavy scored 44.4% on Humanity’s Last Exam with tools, surpassing Gemini 2.5 Pro at 26.9% and OpenAI’s o3 (high) at 21%. Elon Musk stated that Grok 4 can achieve perfect results on the SAT and near-perfect results on any GED test, demonstrating performance superior to almost all graduate students across disciplines. The launch of Grok 4 was announced during a livestream on X, with xAI emphasizing the model’s advanced capabilities and positioning it as a milestone in AI development.