Programmatic Prediction markets — AI Alignment Forum