Comment by thaumasiotes

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