I'm not arguing that NNs aren't capable of AGI, merely that the ability to compute the standard model leaves the far more difficult question of whether the problem is tractable, as you said.

The standard model could be computed directly without NNs, which I think we agree wouldn't be a useful way to approach AGI.