Thomas Kwa comments on AI Research Program Prediction Markets