Bitcoin should be rewritten to be some function of something "useful" like the SETI@Home project. Consider if you could have "solving sha256 problems" be simultaneously "computing the next largest prime" (arguably useful, at least, more so than what its currently doing) or "computing patterns in DNA".