> wouldn't harnessing some more useful proveable activity tied to a lottery system be better ?

Can you devise such a provable activity that has a difficulty that can be adjusted to the levels Bitcoin requires and is dependent on the last block's hash?