Odaily News Musk posted on the X platform that he and the xAI team have been working hard all night to improve Grok, and the progress is going well. Grok 4 is expected to be released after July 4, and another large-scale run is needed to build a dedicated encoding model.