> But as we have just seen, despite these impossibility theorems, AI systems are still able to make substantive progress on solving important open real-world pr

> But as we have just seen, despite these impossibility theorems, AI systems are still able to make substantive progress on solving important open real-world problems. You seem to be smuggling in the assumption that this problem was "important".