{"query": "The Riemann hypothesis", "count": 20, "results": [{"id": "card_question_riemann", "title": "The Riemann hypothesis", "shelf": "millennium", "surface": "secular", "snippet": "The Riemann hypothesis. Every non-trivial zero of the Riemann zeta function has real part one half. Its chart is the tick stick stick_riemann_hypothesis: what is sealed, what is cited and what stays o", "authority_tier": "reference", "source": "Clay Mathematics Institute, the Millennium Prize Problems (2000)", "readable": false, "generated": false}, {"id": "card_theory_differential_geometry", "title": "Differential geometry (curvature measured from inside)", "shelf": "theories", "surface": "secular", "snippet": "Differential geometry (curvature measured from inside) — an engine domain that can touch it: geometry. Calibration: map-only — specific curvature and geodesic computations verify; the framework is bro", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_non_euclidean_hyperbolic_elliptic_geometry", "title": "Non-Euclidean (hyperbolic / elliptic) geometry", "shelf": "theories", "surface": "secular", "snippet": "Non-Euclidean (hyperbolic / elliptic) geometry — an engine domain that can touch it: geometry. Calibration: partial — curvature relations verify; the choice of axioms is map-only. Deny Euclid's fifth ", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_theory_measure_theory__lebesgue_integration", "title": "Measure theory (Lebesgue integration)", "shelf": "theories", "surface": "secular", "snippet": "Measure theory (Lebesgue integration) — an engine domain that can touch it: mathematics. Calibration: map-only — a foundation, not a computation. What it means for a set to have a SIZE, done carefully", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_n_ea9e3f380756", "title": "The primes and the nucleus — one statistical fingerprint", "shelf": "science", "surface": "secular", "snippet": "The night's deepest rhyme, and it is real, published, and unexplained. Montgomery (1973)\nand Dyson noticed that the SPACINGS between the Riemann zeta zeros follow the same distribution\nas the eigenval", "authority_tier": "engine_derived", "source": "Concordance assay — 2026-07-09", "readable": false, "generated": false}, {"id": "card_floor_millennium", "title": "The Millennium floor - seven open questions, and where they connect", "shelf": "codex", "surface": "secular", "snippet": "The seven Millennium Prize Problems on the one map of reality. The FLOOR is what is proven or observed: the joints where two of the questions meet at one established thing - the GUE statistics shared ", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor (operator seed)", "readable": false, "generated": false}, {"id": "card_spine_millennium_sources", "title": "The Millennium sources — the papers behind the seven sticks", "shelf": "spine", "surface": "secular", "snippet": "63 sources located for the seven Millennium sticks (Riemann, Birch and Swinnerton-Dyer, Navier-Stokes, Yang-Mills, P versus NP, Hodge, Poincare), one reference card each: the bibliographic record, DOI", "authority_tier": "reference", "source": "The Millennium sources — a spine of located records", "readable": false, "generated": false}, {"id": "card_joint_weil_conjectures", "title": "The Weil conjectures (Deligne 1974): the Riemann hypothesis over finite fields, a theorem", "shelf": "codex", "surface": "secular", "snippet": "The Weil conjectures are the analogue of the Riemann hypothesis for the zeta functions of varieties over FINITE FIELDS, and they are a theorem (Deligne 1974): every eigenvalue of Frobenius on the i-th", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_src_mill_deligne_1974", "title": "P. Deligne 1974 — La conjecture de Weil. I", "shelf": "millennium", "surface": "secular", "snippet": "P. Deligne (1974). La conjecture de Weil. I. Publ. Math. IHÉS 43 (1974) 273–307. DOI 10.1007/BF02684373. Canonical: https://doi.org/10.1007/BF02684373. Free copy: http://www.numdam.org/item/PMIHES_197", "authority_tier": "reference", "source": "P. Deligne (1974), Publ. Math. IHÉS 43 (1974) 273–307", "readable": false, "generated": false}, {"id": "card_n_ebe4c25c22ae", "title": "The Riemann hypothesis — sealed all around, refused at the center", "shelf": "science", "surface": "secular", "snippet": "The deepest open question about the primes, and the cleanest demonstration of the engine's\nhonesty. The FACTS seal: zeta(2)=pi²/6 (Basel), zeta(4)=pi⁴/90, zeta(6)=pi⁶/945, zeta(-1)=-1/12,\nthe trivial ", "authority_tier": "engine_derived", "source": "Concordance assay — 2026-07-09", "readable": false, "generated": false}, {"id": "card_src_mill_mulmuley_2011", "title": "K. D. Mulmuley 2011 — On P vs. NP and geometric complexity theory", "shelf": "millennium", "surface": "secular", "snippet": "K. D. Mulmuley (2011). On P vs. NP and geometric complexity theory. J. ACM 58 (2011) 5:1–26. DOI 10.1145/1944345.1944346. arXiv: 0908.1936. Canonical: https://doi.org/10.1145/1944345.1944346. Free cop", "authority_tier": "reference", "source": "K. D. Mulmuley (2011), J. ACM 58 (2011) 5:1–26", "readable": false, "generated": false}, {"id": "card_alm_connection_riemann_hypothesis_open_zeta_facts", "title": "Almanac: The Riemann Hypothesis -- an open question about where the zeta function vanishes, with the established facts sealed and the conjecture marked honestly", "shelf": "almanac", "surface": "secular", "snippet": "SITUATION\n  The Riemann zeta function, zeta(s) = the sum of 1/k^s, is the deepest known bridge between the smooth world of analysis and the prime numbers. Several of its truths are firmly ESTABLISHED ", "authority_tier": "reference", "source": "The Almanac — verified-only practical wisdom (sealed)", "readable": false, "generated": false}, {"id": "card_floor_logarithm", "title": "The logarithm - the instrument the joints share", "shelf": "codex", "surface": "secular", "snippet": "Two trees: Napier's table (1614) and Saint-Vincent's hyperbola (1647) - a number's logarithm as a tabulated count, and as an area. They become one function in Euler's Introductio (1748): e, and exp an", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}, {"id": "card_src_mill_davis_matiyasevich_robinson_1976", "title": "M. Davis 1976 — Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution", "shelf": "millennium", "surface": "secular", "snippet": "M. Davis, Yu. Matiyasevich, J. Robinson (1976). Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution. Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378. DOI 10.1090/pspu", "authority_tier": "reference", "source": "M. Davis, Yu. Matiyasevich, J. Robinson (1976), Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378", "readable": false, "generated": false}, {"id": "card_src_mill_odlyzko_1987", "title": "A. M. Odlyzko 1987 — On the distribution of spacings between zeros of the zeta function", "shelf": "millennium", "surface": "secular", "snippet": "A. M. Odlyzko (1987). On the distribution of spacings between zeros of the zeta function. Math. Comp. 48 (1987) 273–308. DOI 10.1090/S0025-5718-1987-0866115-0. Canonical: https://doi.org/10.1090/S0025", "authority_tier": "reference", "source": "A. M. Odlyzko (1987), Math. Comp. 48 (1987) 273–308", "readable": false, "generated": false}, {"id": "card_joint_diophantine_rh", "title": "The Riemann hypothesis is one Diophantine equation with no solutions", "shelf": "codex", "surface": "secular", "snippet": "Davis, Matiyasevich and Robinson (1976): the Riemann hypothesis is equivalent to a specific polynomial Diophantine equation having no solutions in the integers. The hypothesis is a Pi-1 statement; its", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_joint_gue_statistics", "title": "Zeta zeros and the lattice Dirac operator share GUE statistics", "shelf": "codex", "surface": "secular", "snippet": "The nearest-neighbour spacings of the zeros of zeta follow the Gaussian Unitary Ensemble of random matrix theory (Montgomery's pair correlation, 1973; Odlyzko's computation, 1987), and so does the low", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_floor_riemann", "title": "The Riemann chain - from Euler's product and Legendre's count to the critical line", "shelf": "codex", "surface": "secular", "snippet": "Two trees. The analytic: Euler's product over the primes (1737), Dirichlet's L-functions (1837). The arithmetic: Legendre's guess at the prime count (1798), Gauss's logarithmic integral (counted 1792,", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}, {"id": "card_joint_l_functions", "title": "One machinery: Euler product, functional equation, critical line", "shelf": "codex", "surface": "secular", "snippet": "Zeta is the simplest L-function; L(E,s) of an elliptic curve is another, given its analytic continuation by modularity (Wiles 1995). Both have an Euler product, a functional equation about a centre, a", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_floor_bsd", "title": "The Birch and Swinnerton-Dyer chain - from the group of rational points to the L-function", "shelf": "codex", "surface": "secular", "snippet": "Two trees. The arithmetic: Poincaré's group law on the rational points (1901), Mordell's finite generation (1922), Weil's heights (1929), the canonical height (Néron 1965). The analytic: Hasse's Riema", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}], "house": {"door": "FIND", "kind": "cards", "trail": "results", "seal": null, "next_step": {"do": "open the top card", "door": "FIND", "tool": "card_get", "params": {"id": "card_question_riemann"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}