Comment by interleave

I agree very much. I'm getting the same take-away even more now that I'm using autoresearch as my main strategy.

And I wonder: We've got all these amazing (programming) languages to define solutions; where are the languages to clearly define the problems?