Indeed. Though I notice that, eg. Real Maths (TM), I feel *ought* to work the way way you want things to work (solve this problem or not), actually is somewhere between (someone solves parts of it, someone eventually pulls all the pieces together and I go kaching, and then people endlessly automate it, turning a 200 page original proof into a 1 page technique taught to undergrads :))
no subject