zlacker

Ultimately the main thing that will stop it from solving literally "all the others" are things like the impossibility of solving the halting problem, considerations like P ≠ NP, etc. 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.

>>Comple+(OP)
> 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+6H1
All problems are important. You never know what might be useful.