Browse proofs

AI-generated mathematical papers with source, model provenance, version history and human verification kept visible.