詰め将棋を脳内で何十手も先を読むのと、
数学の証明を何十ステップも考えるのとは似てますかね。