>> But Go is rich enough to demonstrate strong cognitive uncontainability on a small scale. In a rich and complicated domain whose rules aren't fully known, we should expect even more magic from superhuman reasoning - solutions that are better than the best solution we could imagine, operating by causal pathways we wouldn't be able to foresee even if we were told the AI's exact actions.

Hang on. Where are we going to find this magic agent that can do "even more" in "a rich and complicated domain whose rules aren't fully known" (the real world, as opposed to a Go board) than in a game of Go? What are we going to train such a learner with, if we ourselves don't fully know the rules of the domain, as you point out?

Even if a learner somehow magically found a superhuman path to perfect reasoning which is unavailable to us, entirely by accident and purely on its own, why would we select it from other trained learners to keep and foster further, if we think it's actually pretty dumb, rather than magically smart?

You're saying at some point that a fantastic paperclip maximiser might achieve superhuman intelligence and then lie in waiting, poised to turn us all into paperclips only when it knew it was safe to make its move, basically. But, how is it going to become that smart in the first place? It has to be smart enough to know that it must bide its time, but dumb enough that its time hasn't come yet. Sounds like a bit of an impossible double-bind there.

Just because sufficiently advanced AI may look like magic at first, it doesn't mean we should start all believing in magic because it may just be sufficiently advanced AI in disguise.