[math-fun] Warren Smith versus Bitcoin (was Re: Post-quantum proof-of-work system?)