I think the main problem is whether intelligence is a computable function (or at least approximable by ones, like AIXI is), and then whether it's of the form th

I think the main problem is whether intelligence is a computable function (or at least approximable by ones, like AIXI is), and then whether it's of the form that NNs implement (linear algebras plus sigmoids and all that jazz).