avturchin comments on Algo trading is a central example of AI risk