Prime Gaps
The proof bridge
Promotion requires an exact connection between the cost rule and prime gaps themselves. The missing step is an exact statement of how the condition that gap/ln(p) has small cost selects admissible gaps, and which Zhang-Maynard or Goldbach-type assumptions it needs. The required statement must also cover how gaps are distributed across the integers. The proof must define the meaning of small, quantify the gap condition, and show how that condition controls the stated patterns. If the argument depends on named number-theoretic assumptions, those assumptions belong in the result's hypotheses.
What this page does not claim
That the cost condition has already been connected to the full distribution of prime gaps. That the five declared gap types exhaust all possible prime-gap behavior. That the required Zhang-Maynard or Goldbach-type assumptions have already been formalized in the complete argument.
Derived articles
This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red:
- What exact statement should relate small cost of gap/ln(p) to admissible prime gaps?
- Which Zhang-Maynard or Goldbach-type assumptions are sufficient for the full distributional result?
- Can the complete bridge be checked in Lean without adding RS-specific axioms?
MACHINE LAYER · GROUNDED CLAIM TABLE · CLICK TO EXPAND
- OPENThe missing step is an exact statement of how the condition that gap/ln(p) has small cost selects admissible gaps, and which Zhang-Maynard or Goldbach-type assumptions it needs.