Proposal: Liquid Prediction Markets for AI Forecasting — LessWrong