Arbitrage of prediction markets — AI Alignment Forum