> The entire point of writing proofs is for advancing human understanding.

Proofs also enable AIs to direct search and generate knowledge. Verifiability is immensely useful for keeping AI grounded.

One might imagine AI generating enormous numbers of hypotheses and then trying to prove or disprove them, and then mine that data for new abstractions and heuristics.