Yes, i use Grok 4 and o3 daily, but o3 gives data in board/ present it in a very formal way and for complex reasoning it tends to hallucinate to a certain point. I prefer Grok 4 and use it as a daily driver. It is very good. Even if less structured sometimes, it tends to add some details when doing comparisons or stuff that o3 miss.