The Mathematics Commons: a Leiden-led peer-to-peer review pilot

Abstract

The Mathematics Commons is a public discussion draft for a decentralized, AI-integrated mathematics workflow. Its immediate proof of concept is a small GitHub-native pilot for bounded literature review, exact statement work, proof and counterexample search, computation, exposition, formalization, and adversarial peer-to-peer review on selected open problems and carefully stated community conjectures. This is a concept proposal, not a claim that an operational network exists, that journal peer review has occurred, or that any open problem has been solved. The project is designed to align with the Leiden Declaration v1 of 2 June 2026 (self-assessed; no certification or endorsement is claimed). AI systems are disclosed tools, not authors; humans retain academic responsibility. All Commons-originated material is dedicated under CC0 1.0, modulo pre-existing third-party copyright and other rights. The living discussion repository is https://github.com/KokunoYumeto/mathematics-commons-pilot. Ordinary AI interactions are private by default; only contributor-approved, sanitized, proportionate evidence enters the public record.