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).

I think it should be shown that intelligence is linear algebra. Not that it's not linear algebra. Russell's teapot etc.