Yes, but… more thinking tokens also means longer solution generation time. That said, v4 Flash is a fast model. I use it all the time because it’s very smart for the price. But it is verbose sometimes.

The thinking trace was (preview) frustrating to read, I think I'd prefer a summary view of it at this point.