Why turn thinking off? I mean, yes, it uses less tokens, but you're using the best model OpenAI offers, but then making it as dumb as cheaper models.

Interesting question - what I learned doing that is that sol ends up injecting its thinking traces as code and shell terminal comments. YMMV, but in my case what I saw was sufficient to use with my routine work in my projects

We are yet to try Pi!