Alex Gerko’s bold bet on AI has made his trading firm, XTX Markets, one of the most profitable players in the secretive world of algorithmic trading.