Comment by bonoboTP

> > models better at writing clean proofs and explaining what they're doing to humans. That's the end of it.

> The assumption here is that the true/false of the theorem is the important outcome

You're replying to a comment about "clean proofs" and explaining to humans. You talk about true/false anyway. Re-read please.