What AI Says About Prover | Parse