Maybe some sort of blockchain could make it so that you don't have to verify the whole proof yourself, to know that it's true. Because some of these proofs could take a long time to verify. Similar to a Merkle tree, but you'd have to make it respect the laws of mathematical proof in some way.

edit: Yes I think this should be possible, using a "recursive SNARK".