-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#18 In 147228/riemann-frontier;
- Status: Open.#16 In 147228/riemann-frontier;
Instrument the frontier: four primary RH tracks carry no registered number, and a failed route has nowhere to go
enhancementNew feature or requestNew feature or requeststate:proposedPrecise claim awaiting independent workPrecise claim awaiting independent worktrack:infrastructureResearch graph, validator, CI, or toolingResearch graph, validator, CI, or toolingStatus: Open.#14 In 147228/riemann-frontier;[RH computation] Count zeros in (0, 1e5] by a method independent of arb.zeta_nzeros
role:reproducerRe-run from declared inputs in a clean environmentRe-run from declared inputs in a clean environmentstate:proposedPrecise claim awaiting independent workPrecise claim awaiting independent worktrack:rhClassical RH and zeta-function researchClassical RH and zeta-function researchStatus: Open.#9 In 147228/riemann-frontier;[H1=246 allocation] Formalize a sharded admissibility certificate for the cited 50-tuple
role:formalizerMake a claim exact and dependency-completeMake a claim exact and dependency-completestate:proposedPrecise claim awaiting independent workPrecise claim awaiting independent worktrack:prime-correlationsAdjacent fixed-shift and prime-correlation researchAdjacent fixed-shift and prime-correlation researchStatus: Open.#6 In 147228/riemann-frontier;[RH explicit bounds] Map one improvable zero-density or zero-free-region boundary
role:formalizerMake a claim exact and dependency-completeMake a claim exact and dependency-completestate:proposedPrecise claim awaiting independent workPrecise claim awaiting independent worktrack:rhClassical RH and zeta-function researchClassical RH and zeta-function researchStatus: Open.#3 In 147228/riemann-frontier;[RH computation] Reproduce a small certified zeta-zero verification
role:reproducerRe-run from declared inputs in a clean environmentRe-run from declared inputs in a clean environmentstate:proposedPrecise claim awaiting independent workPrecise claim awaiting independent worktrack:rhClassical RH and zeta-function researchClassical RH and zeta-function researchStatus: Open.#2 In 147228/riemann-frontier;[Adjacent prime correlations] Reproduce the certified optimization layer behind H1 <= 246
role:reproducerRe-run from declared inputs in a clean environmentRe-run from declared inputs in a clean environmentstate:proposedPrecise claim awaiting independent workPrecise claim awaiting independent worktrack:prime-correlationsAdjacent fixed-shift and prime-correlation researchAdjacent fixed-shift and prime-correlation researchStatus: Open.#1 In 147228/riemann-frontier;