Yes good players can see this. There are patterns that make things easier to recognize but it also depends on the time controls. If you have all the time in the world, you can easily calculate that line because it's forced.
Usually the most effective way to find mates is to find forcing moves and calculate from there. Some players can do it really fast.
I came across this (in my humble opinion) insane mate in 9 moves while analyzing a recent game (one move after the resignation). I'm wondering if a human could ever see this, and hoping some advanced players can share insights on what to look out for.
Thanks!