Comment by energy123

4 hours ago

Basically all Erdos problems that get solved with AI use ChatGPT 5.* Pro, not Gemini/Opus.

I would guess it's because ChatGPT Pro allows for 80min "think". I've never had even remotely similar think times with Gemini Deep Think. It's generally around 10-15min for math problems, and get increasingly shorter for continued interactions.