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

		Workaccount2 7 months ago \| parent \| context \| favorite \| on: Gemini 2.5 Deep Think Grok-4 heavy benchmarks used tools, which trivializes a lot of problems.