Far outside my expertise, but it feels like the shaky assumption here is that the understanding and proof need to come in a specific order to be valuable. Can't we get all the meaty goodness by simplifying and generalizing the proofs now we know they exist? Sure, some insights will live in the discovery itself, and I guess it's nice to be the person who got to a proof first, but the real work (according to the mathematicians, afaict) is in the understanding and processing. In this way, it feels like it's moving towards being like most other science: mostly understanding things that are already there.