Magnus is on the record saying that even though he will lose to frontier chess engines pretty much every time, he never uses them to study because the way the engine arrives to the best move, a human can't really follow that much less emulate it.

This was somewhat the case for the proofs produced of the math problems, that leading mathematicians found them quite unreadable and abstruse; and it's been my experience when programming.

I guess there is a kind of a happy middle ground where I can more or less follow what it is doing, still having an abstract overview, and if needed, could go in the weeds to inspect something.

But people tend to opt for easy and fast, and companies will cater to that market. So who knows what's to come