Yes 2.5 pro and o3. I’ve been very impressed with Grok 4 so far for this purpose. It’s very thorough and accurate. Granted my time with grok 4 is limited to a few days but I’ve already given it challenging problems and the results were exceptional.