Comment by kobebrookskC3

the proof is so complicated it's hard to trust if it's only on paper. if we formalize it, it can be checked by a computer.