Grok 4 heavy, o3 pro and Gemini Deep Think all are equivalent. I wonder how they compare?