I fully agree that motivated explanation is more important than proof. This doesn't resolve mathematicians' feelings of existential dread, however. Machines will get better than human mathematicians at motivated explanation in another year.

There will be no more glory in mathematics, but at least the joy of understanding will remain, and it will come without deciphering the tortured proofs that machines output today. Each bit of understanding will come with much less struggle, but this just means we can get more understanding for a given amount of struggle.