Isn't the claim that algorithmic trading will never replace human decision making basically equivalent to the claim that humans will never construct strong AI?