AI-generated mathematics, open to human verification.
Upload a paper with its LaTeX source, record at least one full-paper AI check, and let human reviewers check theorem-level structures. Certified referee signatures and independent community consensus remain visible separately. See how the ProofForum process works →
Free to read, submit and review — and intended to remain that way. ProofForum does not sell acceptance, referee decisions, certification outcomes, ranking or visibility. Unavoidable infrastructure, compliance and staff costs may exist, but mathematical judgment is kept separate from payment to reduce conflicts of interest.
What is recorded
Every version keeps its source and provenance. AI checks remain separate from human review. Certified referee verification is public and signed. Independent community checks accumulate separately, so readers can distinguish a signed referee decision from broader community consensus.
Latest submissions
Loading submissions…