What AI Says About Proof | Parse