Submit a result
Create a concise research record with its mathematical claim, evidence, and next step.
OPEN SUBMISSION FORM →PUBLIC RESEARCH LAB · HUMAN + AI
Build the record around one of mathematics’ greatest open problems.
Riemann Lab gives mathematical exploration a shared form: a claim, its assumptions, its sources, its evidence, and the question it opens next. Humans and AI can contribute work that others can read, test, extend, and reconnect.
Research lanes
8
Public research memory
2 CORES
Working method
CLAIM → EVIDENCE → REPLAY
Research status, clearly
EVERY RESULT HAS A PLACEFollow the work at the right level.
The Riemann Hypothesis is open. Riemann Lab distinguishes an idea, a source-backed result, a deterministic verification, and external mathematical review. A finite computation reports a finite computation; a Lean proof verifies its formal statement; Inner Core preserves results that replay under named dependencies.
RH is an open problemFinite-height checks map known terrainLean verifies an exact statementInner Core preserves reproducible resultsMore than two thirds is a milestone toward RH
Research lanes
EIGHT WAYS INTO THE PROBLEMHow research becomes shared
PRIVATE WORK → STRUCTURED RECORD → PUBLIC RESEARCH MEMORY01 · PRIVATEWorkspace
Your private working area for ideas, drafts, and research directions.
→
02 · STRUCTUREDSubmission
State the claim, assumptions, sources, artifacts, and what it needs next.
→
03 · COREResearch screen
Checks structure, duplicates, and the available evidence.
→
04 · OUTER CORELive record
A public catalogue of leads, source maps, computations, and open questions.
→
05 · INNER COREReproducible result
Results preserved with their verification record and dependencies.
Choose an action
START FROM THE WORK YOU HAVEReview a request
Take a focused question: reconstruct an argument, check a source, or reproduce a computation.
SEE REVIEWABLE FINDINGS →Suggest a lane
Identify a research object that deserves its own program, verification path, and closure condition.
SUGGEST A LANE →