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 ...

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 ...

Artificial Intelligence (AI) is becoming an integral part of daily life, including everyday calculations. But how well do these systems actually handle basic math? And how much should users trust them ...

XAI Grok 4 ranks third on the LMarena leaderboard. Google Gemini and OpenAI O3 rank ahead of Grok 4. Grok-4 was tested with real-world prompts across domains like coding, math, as well as creative ...

Elon Musk’s xAI Holdings Corp. has debuted a new large language model, Grok 4, that’s optimized for reasoning tasks such as generating code. The LLM’s late Wednesday launch followed a turbulent week ...

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 ...

Forbes contributors publish independent expert analyses and insights. Dr. Gerui Wang writes about AI, society, media, and culture. Grok 4’s focus on enhancing reasoning, including domain-specific ...

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.

During xAI’s launch of Grok 4 on Wednesday night, Elon Musk said — while livestreaming the event on his social media platform, X — that his AI company’s ultimate goal was to develop a “maximally truth ...

What if the future of AI could not only dream up stunning web designs but also code them into reality with unmatched precision? In this overview, Universe of AI explores how Grok 4.2, codenamed ...