Grok-4 heavy benchmarks used tools, which trivializes a lot of problems.