>Of course, what's missing from hypothetical artificial arithmetic is simple symbolic manipulation. And I am pretty sure that "More gofi", a more explicit treatment of AI, is something that Noam Chomsky and other have as their favorite bullet point on how to go further.

Unlikely as Minsky (the prince of gofai) and Chomsky were, umm, hardly fans of each other's work.