The harder the puzzle, the more work is being performed, proving a user is genuine and not a bot trying to flood the service

Except it’s literally the computer doing the math that probably isn’t something the average user would even understand how to solve. It’s de facto a bot solving it.