And when the proofs become terabytes of data produced by a program, and the reviewer has to write another program just to verify that the proof is sound, it's g

And when the proofs become terabytes of data produced by a program, and the reviewer has to write another program just to verify that the proof is sound, it's going to become intractable. Maybe we should encourage it financially. Like bug bounties.