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

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

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

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

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

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.

当地时间9日晚，xAI公司旗下AI聊天机器人的最新版本Grok 4正式发布。 北京时间10日上午11:00，发布会直播正式开始。期间，xAI官方发推宣称，Grok 4是最新、最强大的旗舰模型。 马斯克介绍，Grok 4在xAI的Colossus超级计算机（全球最大AI超算）上进行了训练，能做到GRE ...

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