Elon Musk posted on X that he and the $xAI team have been working hard all night to improve Grok, and progress is going well. Grok 4 is expected to be released after July 4th and will require another large-scale run to build a dedicated coding model. [ChainCatcher]