I think you're misunderstanding the point of math problems. Mathematics is as much a process as it is a result. This is why even from early on, relatively rudimentary mathematics questions you are graded by your capacity to correctly achieve the desired process to the answer than getting the answer correct. The risk here is that AI generated proofs removes the process part of mathematics, where actually interesting concepts live (because then you can apply novel concepts to other unsolved problems and then thereby unlock new concepts that way...) Sure you can kind of try to reverse-engineer it but you lose the entire intuition and "we tried applying it in X, Y, Z ways and it didn't work" intuition, because even the non-working process can teach you about how not to apply the working process to novel problem spaces.

Basically: Tasting a delicious soup doesn't tell you how to layer the flavors, but if you want to be a good chef, you better be learning flavors more than you learn dishes!