Browsing: AI-Generated Proofs