ProofForum
Submit directly: ProofForum hosts and versions the PDF and LaTeX source and runs the full native workflow, from moderation and theorem-level review to concerns, Certified Referee judgments and AI checks.
Submit a paper →Human verification for AI-era mathematics
We help humans determine what can be trusted.
Submit mathematical work directly to ProofForum or verify exact versions hosted on external repositories. AI checks, community review and Certified Referee judgments remain separate and visible. 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.
One verification layer, multiple sources
arXiv
Link an exact version of an arXiv paper and create an independent ProofForum verification record for it.
Verify an external paper →Hexagon
Link an exact version of a Hexagon work and create an independent ProofForum verification record for it.
Verify an external paper →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.
Repository
Latest submissions
Published papers are rendered server-side on the public route. Open the complete text archive.