According to the article Mathematical proofs getting harder to verify, it is now very difficult and sometimes impossible to be certain about the correctness of mathematical proofs.
I can envision the rise of the special profession of mathematical patching. It would work as follows.
- A fundamental theorem is proved, but its proof is difficult to verify.
- A lot of mathematics is being based upon that theorem.
- Another fundamental theorem is proven and receives similar honorable status in mathematics.
- A contradiction is found, which means that both theorems cannot be both true.
- In order to save the rest of mathematics, the theorems are patched.
Patching, in this context, means adding qualifications to the theorems, so that fully-qualified versions of the theorems do not contradict each other. The qualifications will be based upon the actual way the theorems are used in subsequent mathematical development, which is normally less than the full generality of the theorem.