Kraken’s acquisition will add natural-language trading automation to its Pro platform, as exchanges, miners and analytics companies move aggressively into AI.