How AI Agents Can Reshape Arbitrage in Prediction Markets