Scoring Rules and Automated Market Makers — AI Alignment Forum