What AI Says About ProofJump | Parse