especially compared to existing 129 pages proof by human

A human can cite previous published results. I am sure a lot of this development was formalising the prerequisites.

Insert meme with 200 pages needed to prove 1+1=2 rigurously