Sokoban puzzles are very close to math-complete (in the same sense as in Turing-complete or NP-complete). Ockham's Razor leads me to believe it's much more pro

Sokoban puzzles are very close to math-complete (in the same sense as in Turing-complete or NP-complete). Ockham's Razor leads me to believe it's much more probable to find an alien (or animal or ML) entity good at math than an alien entity overfitted for complex Sokoban puzzles. Now, I may undermeasure (maybe they're very intelligent but suck at spacial reasoning) but it would be hard to overmeasure (if they can do this kind of math, I'd like to hire them, period).