AI or not, if a machine finds an answer so complex that no human can understand it, how useful is it?
I don't know the chemistry necessary to turn crude oil into any plastic, I don't know how to use a Lagrangian, I tried and failed to learn group theory (I've only got the basics, and I'm not confident about them), and I've still only got a toy model of special relativity (which is supposed to be the easier one) — and yet, not only are those all still useful, the four colour theorem is useful even though it's a non-surveyable proof: https://en.wikipedia.org/wiki/Non-surveyable_proof