zlacker

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

>>thauma+(OP)
All problems are important. You never know what might be useful.