Research
Research is presented here as a public map of the Riemann Console programme around the Riemann Hypothesis: bounded research objects, milestones and other authorised public records. If the problem itself is new to you, begin with What is the Riemann Hypothesis?. Absence from this map says nothing about private or unpublished work.
Behind the research: Beyond Human-First Mathematics — a deliberately limited public dispatch on the AI-native exploration process. Active constructions, reconstructive definitions and the live private frontier are withheld.
Released research: A retired positivity route — a bounded record of a stronger sufficient route that was retired after hostile numerical testing. The public page records what changed and why, without reproducing the private construction.
Released research: Local structure does not automatically force a stronger nonlocal condition — a bounded record of an exact countermodel establishing a logical limitation in the retired route. The explicit model and threshold formula are withheld.
Disclosure boundary
Riemann Console publishes enough information to make research status, significance, limitations and provenance intelligible. It does not automatically publish the generative mechanism, precise experimental coordinates, proof-critical source machinery, code, private search history or the current research frontier. Public disclosure and private provenance are maintained as separate layers. .
PUBLIC RESEARCH MAP
This map shows the shape of the material that is public now. Routes and connections are drawn only from explicit public metadata; unpublished work is neither shown nor implied, and a connection does not mean that one object proves or validates another.
RIEMANN HYPOTHESIS
- RESEARCH ROUTES (2)
- POSITIVITY / LOCAL-TO-NONLOCAL OBSTRUCTION
- Local structure does not automatically force a stronger nonlocal conditionEXACT STRUCTURAL COUNTERMODEL — BOUNDED PUBLIC SUMMARY — NO RH IMPLICATION · RES-RH-0002
- POSITIVITY / RETIRED SUFFICIENT ROUTE
- A retired positivity routeRETIRED SUFFICIENT ROUTE — BOUNDED PUBLIC SUMMARY · RES-RH-0001
- POSITIVITY / LOCAL-TO-NONLOCAL OBSTRUCTION
- PUBLIC MILESTONES (3)
- A route-critical obstruction has been closed in the Riemann Hypothesis programmePROJECT MILESTONE — ROUTE-CRITICAL OBSTRUCTION CLOSED; RH UNPROVED · PUB-MIL-RH-0003
- Discrete arithmetic thresholds invalidate a globally smooth continuum modelRETROSPECTIVE STRUCTURAL MILESTONE; GLOBALLY SMOOTH CONTINUUM RETIRED AT DISCRETE ARITHMETIC THRESHOLDS; RH UNPROVED · MIL-RH-0004
- A proposed global positivity route was retired after hostile testingSTRONGER SUFFICIENT ROUTE RETIRED; RH UNPROVED · MIL-RH-0003
- CONTEXT & EXPLANATION
Need a way into the terminology? Visit Glossary. For longer explanations, visit Explain. For the mathematicians behind the names, visit People.