Right. The existence of jet planes doesn't invalidate Olympics. Why would the existence of machine solutions invalidate human puzzle solving?

Because this was a mystery. The other replies seem to be missing that point. It’s similar to the issue that mathematicians are having in their field right now.