I think big financial institutions or banks may have it but keep it like top-secrect.
I tested some trading robots, met some IT guys who create trading robots based on AI.
An AI trader is easy to create.
The issue is the dataset. Selecting the right variables and building the neural net. A regular user will not have access to millions/billions of previous trades to train the ML algorithm.