Elon Musk-owned xAI is testing Grok 4.20, a new model update to Grok 4, which already competes with GPT-5 in some benchmarks, such as ARC-AGI 2. GPT-5 is one of the best models for coding, and it ...

AI has launched Grok 4.20 in three API variants priced up to 60% cheaper than Grok 3, setting a record 78% non-hallucination ...

Grok 4 by xAI was released on July 9, and it's surged ahead of competitors like DeepSeek and Claude at LMArena, a leaderboard for ranking generative AI models. However, these types of AI rankings ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.

Elon Musk's xAI has released the Grok 4, just five months after Grok 3's debut earlier this year. The latest model promises a quantum leap in performance, achieving perfect scores on math competitions ...

There is a common problem for all AI companies for overfitting to benchmarks. XAI Grok 4 has some problems with prompt adherence. XAI could have had overfitting resulted from the reinforcement ...

xAI is preparing the rollout of Grok 4, which replaces Grok 3 as the new state-of-the-art model. Ahead of the rollout, testers on X have again spotted references to a few new Grok 4 models. One of the ...

Is Grok 4.2 the most intelligent coding model we’ve seen yet? With its release in January 2026, this AI powerhouse has already sparked conversations across the tech world. In this comparison, World of ...

On Wednesday night, Elon Musk unveiled xAI’s latest flagship models Grok 4 and Grok 4 Heavy via livestream, just one day after the company’s Grok chatbot began generating outputs that featured ...