Until a few years ago it was generally understood that useful "creativity" involves solving problems within constraints, e.g. something a lot like SAT or SMT in spirit even if not in the details.

Then we got LLMs which will make a good parody of anything and occasionally get it right.