One may not be able to extract insights from AI generated proofs in the same depth, if at all.
The issue is the intimate nature of discoveries. When you struggle for a long time, the leap that finally pushes you over the hump holds great psychological weight. So you will remember the insight.
