xAI ships Grok 4.5, a coding-first model, as coding benchmarks run out of road — type0 | type0