I might offer a slight wrinkle to this assertion. While raw power has driven an advancement, what Hofstadter is asserting is that symbolic reasoning (particularly recursion) is "unsolvable" for certain classes of problems. In other words, ML lives in a "box" that Hofstadter has defined. His work is still useful as a "lens" to understand the limits of AI, and what else it could possibly accomplish.