> it will be the users sculpting formal systems like playdoh.

People are pushing back against this phrase, but on some level it seems perfect, it should be visualized and promoted!

I think Lego is a better analogy. LLMs aren't great at working on novel cutting edge problems.