[jbay808]

The past decade has seen a huge number of problems widely and confidently believed to be "actual hard mode problems" turn out to be solvable by AI. This makes me skeptical that the problems today's experts think are hard aren't easily solvable too.

[nradov]

Hard problems are those for which the rules aren't defined, or constantly change, or don't exist at all. And no one can even agree on the goals.