← Back to context

Comment by golol

2 days ago

I use o3 for my PhD math research. When I am facing a specific problem and I am out of ideas I oass it to o3. It will usually say something with a fair number if errors and eventually claim to have solved my problem in a standard manner, which it almost never does. But that does not mean it is not useful to me. My attention is light a flashlight illuminating a tiny spot in the possibly vast field of methods I could try. Right now my head is full of dispersive PDEs so I will not think of using parabolic regularization. But o3 is more of a dim background light. I am in the end better at using any particular technique that is familiar to me than o3, but in this very moment I can only think of a few options. Sometimes my specific problem is actually naturally tackled by a method I have not considered, and o3 suggests it. If you consider that iq-maxxing or not, in this moment for me it is, because it helps me.

You should also try o4-mini-high. Or, if you have already, I’m curious to hear how they compare for you. I somewhat suspect that o4-mini is better on pure math problems that take more thinking and less world knowledge.

  • Yea I try them both but I honestly can not tell much of a difference. Subtle things.