It's recursively copied turtles all the way down

AI is not just rule-based systems or LLMs. Go hasn't been conquered by either. This looks like a Planning / Robotics problem. This could be modelled as a POMDP. There has been plenty of work in the AI community on this topic. Cf. https://www.jair.org/index.php... and in particular, Figure 3.

This is Constraint Programming. You might find this lecture from Pascal Van Hentenryck (now at GeorgiaTech) interesting: https://www.youtube.com/watch?...