> one has to think there are useful hard problems to solve rather than just banging out SHA-256 hashes over and over.
I sincerely hope that a truly useful proof-of-work can be discovered. It would be a very big deal.
The problem is, the work has to be reliably verifiable, and easier to verify than just doing the work over again, which is why hashes are a good fit.