Comment by SpicyLemonZest

He's saying that in such a scenario, almost all of the value is located in the analysis and just dumping the proof has "negligible or even negative value". (The negative value would occur in the cases where the proof doesn't contain enough information to reconstruct what insights would have led a person to it.)