The xAI team is claiming good progress on their model. It will be called Grok 4 instead of Grok 3.5. It will release just after July 4th. Needs one more big run for a specialized coding model. xAI has ...