A vision for prediction markets: AI agents and live probability signals · Digg