In the meantime Grok seems to have come a long way. Its free tier allows you to upload 350 page pdfs without complaint and actually crunch data for you. It's now much better at it than either Claude or GPT. It has also become a much more capable mathematician. I am blown away by the new Grok.