The other problem is that you have to understand the proof itself. It's not always trivial to tell whether a complex proof is stating what was intended correctl

The other problem is that you have to understand the proof itself. It's not always trivial to tell whether a complex proof is stating what was intended correctly. Effectively, the proof itself is a program that needs to be verified by a human.