What AI Says About Proof (SG Proof) | Parse