leogao comments on AI Research Program Prediction Markets