You might have gotten it backwards. Proofs are essentially rooted trees

The details could be painful but having a birds eye view is always possible?

And having a machine compress it for human consumption, sounds very plausible (and which I think of as engineering)