xAI releases Grok-2 and Grok-2 Mini

Grok-2 launches with improved reasoning, competitive with frontier models on benchmarks.