i love seeing stuff like this, im guessing it wont be long until this method becomes the norm
Tailoring prompts is likely still the best way to maximize performance when you can, but in broader domains you'd work around this through strategies like asking the LLM to combine predefined reasoning modules, or creating multiple reasoning chains and merging/comparing them, explicit MCTS etc. I think those strategies will still be useful for a good while, but pieces of that search process, especially directing the search more efficiently, move to the LLMs over time as they get trained with this kind of data.
They didn't train a model for millions from experts to just basically use CoT now. Thats a harsh simplification, probably.