Grindr changed gay hookups. Now, ads, bots, AI, and cultural ubiquity have turned it into a ghost town.