The proofs are not meant for human consumption. It's for the AI to know to try again rather than spit out hallucinations. Of course there's a leap of faith somewhere here.