Puzzles that are used to sort humans from bots have gotten harder as AI has gotten smarter.