Intrade and the Dow Drop — AI Alignment Forum