I don't want a math paper detailing 200TB of data. I want a paper telling me the generation of the digital input, the method that was used to actually prove it if it's novel. I want the authors to show how they verified the result and if it's important how they verified the automatic verification. The paper will end with "Oh and by the way, we used this conjecture because it was difficult, it's true. You can verify it yourself."

I want this all so I can do this myself, so I can prove a run-of-the-mill conjecture and not waste my time with it. I want this because proving is difficult and there is more to SAT than mathematical proofs, it is used in the industry. I want this because I trust a verified proof that the airplane won't crash more than a human proof.

The availability of computer proofs does not devalue the study of mathematics.