Publication v4
The canonical statement, selected results and public proof evidence, with historical and contribution context.
Formal proofs: Public Lean evidence covers a 246 deduction from Bombieri–Vinogradov and a 186 deduction from three input axioms. The 212 paper reports a separate certificate with analytic and variational hypotheses; its exact public source revision was not identified. No OpenMath build is recorded.
AI-assisted work: The 212 mathematical paper credits nine authors and builds on Julia Stadlmann. AxiomProver is credited for its formal certificate, not independently discovering that bound.
Selected primary manuscripts, theorem declarations and project provenance reviewed on 13 October 2026; this is not an exhaustive literature survey.
Checked Oct 13, 2026 · independent review pending.
Bounded gaps established; twin primes remain unresolved · observed Oct 13, 2026
Source status date unavailable · observed Oct 13, 2026
H₁ = 2 remains unresolved despite finite upper bounds.
D. H. J. Polymath · metadata-link · Original document rights remain with its authors.
OpenMath supplies original paraphrases and links; no proof text is republished. Rights / source terms
prime-gaps:entry:polymath:v1François Charton, Letong Hong, Kenny Lau, Ken Ono, Guillaume Remy, Ho Chung Siu, Ashvin A. Swaminathan, Jesse Thorner, Yunzhou Xie · metadata-link · Original document rights remain with its authors.
OpenMath supplies original paraphrases and links; no proof text is republished. Rights / source terms
prime-gaps:entry:212:v2Axiom Math, PrimeGapsLib contributors · metadata-link · Original document rights remain with its authors.
OpenMath supplies original paraphrases and links; no proof text is republished. Rights / source terms
prime-gaps:entry:246-lean:v1OpenAI, PrimeGaps186 contributors · metadata-link · Original document rights remain with its authors.
OpenMath supplies original paraphrases and links; no proof text is republished. Rights / source terms
prime-gaps:entry:186-lean:v1Initial checked pilot publication; source attribution, rights, wording and coverage reviewed by OpenMath staff.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.