Riemann Console and the Riemann Hypothesis
Riemann Console is the public home of an independent research and explanation project centred on the Riemann Hypothesis, one of the best-known unsolved problems in mathematics.
The Riemann Hypothesis is the conjecture that every non-trivial zero of the Riemann zeta function has real part exactly one-half. Through the zeta function, that apparently simple statement reaches deep into the distribution of prime numbers.
Riemann Console does not claim that the Riemann Hypothesis has been proved.
It exists to make a continuing investigation around the problem visible: the ideas being explored, the mathematical structures that survive scrutiny, the routes that fail, and the public record needed to distinguish one from another.
If the Riemann Hypothesis itself is new to you, What is the Riemann Hypothesis? is a good place to begin.
Research in public
The underlying work is an ongoing research programme rather than a single manuscript or proof attempt.
Most active working research remains private. The Research section is a deliberately released map of the part that has crossed the public boundary: research objects, mathematical results, countermodels, retired routes and milestones whose status can be stated responsibly.
Publication is not reserved for successful ideas.
A proposed condition that fails, a numerical counterexample that closes an attractive route, or an exact construction that shows why one piece of information cannot force another may be just as important to the direction of the research as a result that survives.
The public record therefore does not tell a story in which every step points towards a predetermined conclusion. It records what actually happened.
Exploration and hostile testing
Discovery and assessment are deliberately treated as different activities.
During exploration, the programme uses alternative mathematical representations, computational experiments, provisional conjectures and AI-assisted reasoning to search widely for structure.
Assessment is stricter.
Interesting behaviour must survive the checks appropriate to it: exact derivation, recomputation, boundary and limiting cases, counterexample searches, sign and normalisation checks, dependency analysis, comparison with established mathematics and independent external review where such review genuinely exists.
Numerical evidence remains evidence, however large or precise the computation. An attractive mechanism is not a theorem. AI-generated reasoning receives no special evidential status because it was produced by AI.
The Methods page describes this distinction in more detail. Beyond Human-First Mathematics looks more closely at the experimental use of AI-native representation search within the programme.
Making the mathematics understandable
Riemann Console is also being built as a way into the mathematics surrounding the Riemann Hypothesis.
Explain contains longer articles for readers who want to understand ideas rather than simply encounter their definitions. Some begin with the foundations of the Riemann Hypothesis; others explore concepts that arise from the public research or examine how mathematical evidence, proof and counterexamples work.
People follows the mathematicians behind names encountered across the subject, including Bernhard Riemann and Leonhard Euler.
The Glossary provides shorter definitions and connections between terms, while Search gives another route through the growing collection of concepts, equations, articles and public research objects.
These explanatory layers sit alongside the research record. They make the material easier to enter without changing the scientific status of what they describe.
Keeping the dead ends
Research records are often easiest to read after the uncertainty has disappeared.
Riemann Console deliberately preserves some of the uncertainty.
Failed conjectures, counterexamples, corrections and retired approaches can contain durable information. They may show that a tempting implication is false, reveal an assumption that had gone unnoticed, or eliminate a whole class of possible explanations.
Recording those outcomes matters because they change what is reasonable to try next.
A failed route is therefore not rewritten as progress towards a proof. Nor is it discarded merely because it failed. Where it teaches something that remains useful, it remains part of the record.
What publication means
A page being public on Riemann Console means that it has been deliberately released. It does not, by itself, establish mathematical correctness, novelty, peer review, external acceptance or proof of the Riemann Hypothesis.
Those are separate questions.
Public objects are designed to retain enough identity and provenance to be cited, attributed, versioned, checked, corrected or superseded without silently changing their scientific status.
Verification concerns the identity, integrity and provenance of a released object. It is not a certificate that the mathematics is correct.
Likewise, Corrections are treated as part of publication rather than something to be erased from its history.
Who is behind Riemann Console?
Riemann Console was initiated and is directed by Dom Boucher.
His role encompasses project direction, question framing, curation, systems architecture, editorial work, adversarial-testing oversight and publication and provenance stewardship. The project distinguishes those activities from mathematical derivation, mathematical authorship and independent mathematical verification.
Human, computational and AI-assisted contributions are attributed according to the available research and publication record rather than being folded into a single authorship claim.
Public information about roles and attribution is available through Authorship, with identity and signing information recorded separately on the Identity page.
Where to begin
For a first introduction to the mathematics, read What is the Riemann Hypothesis?.
To see the shape of the released research, open the public Research map.
To understand how claims are explored, challenged and classified, read Methods.
Or simply use Search and follow whichever mathematical idea catches your interest.
The Riemann Hypothesis remains unproved. Riemann Console is a record of the attempt to understand more about the mathematical landscape around it — including the places where an idea survives, the places where it fails, and what can be learned from both.