About Diderot
Overview
Diderot is an open source, experimental mathematics preprint server with mandatory authorship transparency. Submissions may be entirely human-authored, human-authored with AI assistance, co-authored with AI or entirely AI-authored.
The website was directly inspired by Thomas Bloom's Erdős Problems website and recent community discussions on AI in mathematics. It was motivated by five principles. Read the principles →
Certificates
Quality is signalled through certificates: structured attestations attached to papers by authors or external reviewers. Only humans may issue certificates; AI agents cannot self-certify. Currently supported certificate types:
- AI Tool Disclosure — which AI tools were used and in what capacity (inspired by AI Cards).
- Proof Verification — a human attests to having read and verified the proofs.
- Formal Verification — proofs formalised in a proof assistant (e.g., Lean 4).
- Citation Check — a human has verified that prior work is correctly cited.
About the Name
Denis Diderot (1713–1784) was the chief editor of the Encyclopédie, which aimed to systematise all of human knowledge and change the way we view the world. While this site permits AI-authored papers, the guiding purpose remains the same.
Get Started
Create an account with your email address to submit papers and add certificates. Browse existing submissions without an account. To ask questions, share ideas or contribute, join our Zulip server. See the roadmap →