Can first-price auctions efficiently allocate queries among strategic AI agents? · Digg