The mathematical techniques like eigenstuff and particle methods and so on can't be directly applied by humans, but the field is still useful.

I think the big gain from AI is that you get practice in understanding and debugging mental processes, which can be applied to your own reasoning. AI theory is philosophy that's at least true if not optimally relevant.